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

Formal Language: 



Term 1: Term 2:

(subclass Vehicle TransportationDevice) Merge.kif 15974-15974 Vehicle ist eine teilkategorie von TransportationDevice
(subclass PassengerVehicle Vehicle) Transportation.kif 1742-1742 PassengerVehicle ist eine teilkategorie von Vehicle
(subclass CargoVehicle Vehicle) Transportation.kif 1760-1760 CargoVehicle ist eine teilkategorie von Vehicle
(subclass UnpoweredVehicle Vehicle) Transportation.kif 1783-1783 UnpoweredVehicle ist eine teilkategorie von Vehicle
(subclass PoweredVehicle Vehicle) Transportation.kif 1793-1793 PoweredVehicle ist eine teilkategorie von Vehicle
(subclass AgentPoweredVehicle Vehicle) Transportation.kif 1811-1811 AgentPoweredVehicle ist eine teilkategorie von Vehicle
(subclass MilitaryVehicle Vehicle) Military.kif 131-131 MilitaryVehicle ist eine teilkategorie von Vehicle
(subclass ArmoredVehicle Vehicle) MilitaryDevices.kif 1596-1596 ArmoredVehicle ist eine teilkategorie von Vehicle
(subclass LandVehicle Vehicle) Mid-level-ontology.kif 3465-3465 LandVehicle ist eine teilkategorie von Vehicle
(subclass WaterVehicle Vehicle) Mid-level-ontology.kif 3483-3483 WaterVehicle ist eine teilkategorie von Vehicle
(subclass Spacecraft Vehicle) Mid-level-ontology.kif 17711-17711 Spacecraft ist eine teilkategorie von Vehicle
(subclass Aircraft Vehicle) Mid-level-ontology.kif 17817-17817 Aircraft ist eine teilkategorie von Vehicle
(subclass RecreationalVehicle Vehicle) Mid-level-ontology.kif 25763-25763 RecreationalVehicle ist eine teilkategorie von Vehicle
(subclass DamagedVehicle Vehicle) Mid-level-ontology.kif 30092-30092 DamagedVehicle ist eine teilkategorie von Vehicle


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