Relation
|
|
appearance as argument number 1 |
appearance as argument number 2 |
appearance as argument number 3 |
(domain applicableRelation 2 Relation) | Mid-level-ontology.kif 31377-31377 | 域 applicableRelation, 2 and Relation |
(domain disjointRelation 1 Relation) | Merge.kif 412-412 | 域 不相交的關係, 1 and Relation |
(domain disjointRelation 2 Relation) | Merge.kif 413-413 | 域 不相交的關係, 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 361-361 | 域 價, 1 and Relation |
appearance as argument number 4 |
(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) | Merge.kif 1670-1670 | 不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List |