Relation | ![]() |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain applicableRelation 2 Relation) | Mid-level-ontology.kif 31675-31675 | 域 applicableRelation, 2 and Relation |
(domain disjointRelation 1 Relation) | Merge.kif 411-411 | 域 不相交的關係, 1 and Relation |
(domain disjointRelation 2 Relation) | Merge.kif 412-412 | 域 不相交的關係, 2 and Relation |
(domain domain 1 Relation) | Merge.kif 208-208 | 域 域, 1 and Relation |
(domain domainSubclass 1 Relation) | Merge.kif 230-230 | 域 域子類, 1 and Relation |
(domain exactCardinality 1 Relation) | Media.kif 2069-2069 | 域 exactCardinality, 1 and Relation |
(domain maxCardinality 1 Relation) | Media.kif 2193-2193 | 域 maxCardinality, 1 and Relation |
(domain minCardinality 1 Relation) | Media.kif 2156-2156 | 域 minCardinality, 1 and Relation |
(domain subrelation 1 Relation) | Merge.kif 171-171 | 域 子關係, 1 and Relation |
(domain subrelation 2 Relation) | Merge.kif 172-172 | 域 子關係, 2 and Relation |
(domain valence 1 Relation) | Merge.kif 360-360 | 域 價, 1 and Relation |
appearance as argument number 4 |
![]() |
(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) | Merge.kif 1669-1669 | 不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List |
![]() |
![]() |