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

Formal Language: 



Term 1: Term 2:

(subclass UnitOfMeasureMultiplier UnaryFunction) Merge.kif 6447-6447 UnitOfMeasureMultiplier ist eine teilkategorie von UnaryFunction
(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