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

Formal Language: 



Term 1: Term 2:

(subclass Planer Machine) Economy.kif 6013-6013 Planer ist eine teilkategorie von Machine
(subclass Planer CuttingDevice) Economy.kif 6014-6014 Planer ist eine teilkategorie von CuttingDevice


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