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

Formal Language: 



Term 1: Term 2:

(subclass CoolingDevice Device) Mid-level-ontology.kif 2275-2275 CoolingDevice ist eine teilkategorie von Device
(subclass FanDevice CoolingDevice) Mid-level-ontology.kif 2286-2286 FanDevice ist eine teilkategorie von CoolingDevice
(subclass Refrigerator CoolingDevice) Mid-level-ontology.kif 2335-2335 Refrigerator ist eine teilkategorie von CoolingDevice


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