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

Formal Language: 



Term 1: Term 2:

(subclass ElectricTransmission Transfer) Cars.kif 2388-2388 ElectricTransmission ist eine teilkategorie von Transfer
(subclass ElectricTransmission RadiatingElectromagnetic) Cars.kif 2389-2389 ElectricTransmission ist eine teilkategorie von RadiatingElectromagnetic
(subclass Spark ElectricTransmission) Cars.kif 418-418 Spark ist eine teilkategorie von ElectricTransmission
(subclass Charging ElectricTransmission) Cars.kif 2403-2403 Charging ist eine teilkategorie von ElectricTransmission
(subclass Discharging ElectricTransmission) Cars.kif 2425-2425 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