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

Formal Language: 



Term 1: Term 2:

(subclass AngleMeasure ConstantQuantity) Merge.kif 6313-6313 AngleMeasure ist eine teilkategorie von ConstantQuantity
(subclass PlaneAngleMeasure AngleMeasure) Merge.kif 6324-6324 PlaneAngleMeasure ist eine teilkategorie von AngleMeasure
(subclass SolidAngleMeasure AngleMeasure) Merge.kif 6328-6328 SolidAngleMeasure ist eine teilkategorie von AngleMeasure


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