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

Formal Language: 



Term 1: Term 2:

(subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) Geography.kif 642-642 BinaryRelationExtendedToQuantities ist eine teilkategorie von RelationExtendedToQuantities
(subclass BinaryRelationExtendedToQuantities BinaryPredicate) Geography.kif 643-643 BinaryRelationExtendedToQuantities ist eine teilkategorie von BinaryPredicate


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