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

Formal Language: 



Term 1: Term 2:

(subclass BinaryPredicate Predicate) Merge.kif 3400-3400 Binary predicate is a subclass of predicate
(subclass BinaryPredicate BinaryRelation) Merge.kif 3401-3401 Binary predicate is a subclass of binary relation
(subclass BinaryPredicate InheritableRelation) Merge.kif 3402-3402 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 2341-2341 Case role is a subclass of binary predicate
(subclass BinaryRelationExtendedToQuantities BinaryPredicate) Geography.kif 642-642 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