Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass BinaryPredicate Predicate) Merge.kif 3412-3412 Binary predicate is a subclass of predicate
(subclass BinaryPredicate BinaryRelation) Merge.kif 3413-3413 Binary predicate is a subclass of binary relation
(subclass BinaryPredicate InheritableRelation) Merge.kif 3414-3414 Binary predicate is a subclass of inheritable relation
(subclass cellShape BinaryPredicate) VirusProteinAndCellPart.kif 351-351 cellShape is a subclass of binary predicate
(subclass CaseRole BinaryPredicate) Merge.kif 2346-2346 Case role is a subclass of binary predicate
(subclass BinaryRelationExtendedToQuantities BinaryPredicate) Geography.kif 650-650 BinaryRelationExtendedToQuantities is a subclass of binary predicate
(instance subclass BinaryPredicate) Merge.kif 127-127 subclass is an instance of binary predicate


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners