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

Formal Language: 



Term 1: Term 2:

(subclass Spark ElectricTransmission) Cars.kif 418-418 Spark ist eine teilkategorie von ElectricTransmission
(subclass Lightning Spark) Cars.kif 422-422 Lightning ist eine teilkategorie von Spark


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