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

Formal Language: 



Term 1: Term 2:

(subclass ElectricTransmission Transfer) Cars.kif 2382-2382 ElectricTransmission ist eine teilkategorie von Transfer
(subclass ElectricTransmission RadiatingElectromagnetic) Cars.kif 2383-2383 ElectricTransmission ist eine teilkategorie von RadiatingElectromagnetic
(subclass Spark ElectricTransmission) Cars.kif 418-418 Spark ist eine teilkategorie von ElectricTransmission
(subclass Charging ElectricTransmission) Cars.kif 2397-2397 Charging ist eine teilkategorie von ElectricTransmission
(subclass Discharging ElectricTransmission) Cars.kif 2419-2419 Discharging ist eine teilkategorie von ElectricTransmission


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