noun
formal relation
Computing term for a relation defined by its formal properties, often in logic, databases, or knowledge representation.
オントロジーでは、概念間の形式関係を定義する。
In ontologies, formal relations between concepts are defined.
Compound of 形式 (form, format) and 関係 (relation). The exact origin is uncertain; it likely arose as a technical translation in computing contexts.