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

Formal Language: 



Term 1: Term 2:

(subclass Machine Device) Merge.kif 16063-16063 Machine ist eine teilkategorie von Device
(subclass VendingMachine Machine) Mid-level-ontology.kif 1954-1954 VendingMachine ist eine teilkategorie von Machine
(subclass IceMachine Machine) Mid-level-ontology.kif 25510-25510 IceMachine ist eine teilkategorie von Machine
(subclass Motor Machine) engineering.kif 742-742 Motor ist eine teilkategorie von Machine
(subclass Lathe Machine) Economy.kif 5986-5986 Lathe ist eine teilkategorie von Machine
(subclass Planer Machine) Economy.kif 6013-6013 Planer ist eine teilkategorie von Machine
(subclass Generator Machine) Cars.kif 1190-1190 Generator ist eine teilkategorie von Machine
(subclass AirConditioningCondenser Machine) Cars.kif 2051-2051 AirConditioningCondenser ist eine teilkategorie von Machine
(subclass AirConditioningEvaporator Machine) Cars.kif 2075-2075 AirConditioningEvaporator ist eine teilkategorie von Machine
(subclass GasCompressor Machine) Cars.kif 5176-5176 GasCompressor ist eine teilkategorie von Machine


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