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

Formal Language: 



Term 1: Term 2:

(subclass FuelAtomizer Device) Cars.kif 1105-1105 FuelAtomizer ist eine teilkategorie von Device
(subclass FuelInjector FuelAtomizer) Cars.kif 1126-1126 FuelInjector ist eine teilkategorie von FuelAtomizer
(subclass Carburetor FuelAtomizer) Cars.kif 1132-1132 Carburetor ist eine teilkategorie von FuelAtomizer


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