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

Formal Language: 



Term 1: Term 2:

(subclass WheelRim Device) Cars.kif 4806-4806 WheelRim ist eine teilkategorie von Device
(subclass SimmonsWheelRim WheelRim) Cars.kif 4839-4839 SimmonsWheelRim ist eine teilkategorie von WheelRim
(subclass FordWheelRim WheelRim) Cars.kif 4903-4903 FordWheelRim ist eine teilkategorie von WheelRim


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