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

Formal Language: 



Term 1: Term 2:

(subclass TotalValuedRelation Relation) Merge.kif 2194-2194 TotalValuedRelation ist eine teilkategorie von Relation
(subclass TotalValuedRelation InheritableRelation) Merge.kif 2195-2195 TotalValuedRelation ist eine teilkategorie von InheritableRelation
(subclass PartialOrderingRelation TotalValuedRelation) Merge.kif 2368-2368 PartialOrderingRelation ist eine teilkategorie von TotalValuedRelation
(subclass UnitOfMeasureMultiplier TotalValuedRelation) Merge.kif 6448-6448 UnitOfMeasureMultiplier ist eine teilkategorie von TotalValuedRelation


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