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

Formal Language: 



Term 1: Term 2:

(subclass TorqueWrench MeasuringDevice) Cars.kif 4147-4147 TorqueWrench ist eine teilkategorie von MeasuringDevice
(subclass TorqueWrench Wrench) Cars.kif 4148-4148 TorqueWrench ist eine teilkategorie von Wrench


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