Sigma KB Term Intersection

(=> (and (subclass ?TYPE TransportationDevice) (subclass (TransportationFn ?TYPE) Transportation) (instance ?TRIP (TransportationFn ?TYPE))) (exists (?VEHICLE) (and (instance ?VEHICLE ?TYPE) (instrument ?TRIP ?VEHICLE))))	Transportation.kif 1572-1580	Wenn TransportationDevice ist eine teilkategorie von TransportationDevice und TransportationFn TransportationDevice ist eine teilkategorie von Transportation und Process ist ein fall von TransportationFn TransportationDevice %n{nicht}, dann es gibt Object um Object ist ein fall von TransportationDevice %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (and (trafficableForTrafficType ?PLACE ?TYPE) (subclass ?TYPE TransportationDevice) (instance ?MOVER ?TYPE)) (capableAtLocation Transportation instrument ?MOVER ?PLACE))	Transportation.kif 2610-2615	Wenn trafficableForTrafficType Region and SelfConnectedObject und SelfConnectedObject ist eine teilkategorie von TransportationDevice und Object ist ein fall von SelfConnectedObject %n{nicht}, dann capableAtLocation Transportation, instrument, Object and Region
(subclass TransportationDevice Device)	Merge.kif 15987-15987	TransportationDevice ist eine teilkategorie von Device
(subclass SnowSki TransportationDevice)	Sports.kif 1036-1036	SnowSki ist eine teilkategorie von TransportationDevice
(subclass WaterSki TransportationDevice)	Sports.kif 1226-1226	WaterSki ist eine teilkategorie von TransportationDevice
(subclass WindSurfingBoard TransportationDevice)	Sports.kif 1280-1280	WindSurfingBoard ist eine teilkategorie von TransportationDevice
(subclass MilitaryPlatform TransportationDevice)	Military.kif 128-128	MilitaryPlatform ist eine teilkategorie von TransportationDevice
(subclass Elevator TransportationDevice)	Mid-level-ontology.kif 15421-15421	Elevator ist eine teilkategorie von TransportationDevice
(subclass Pump TransportationDevice)	Mid-level-ontology.kif 15447-15447	Pump ist eine teilkategorie von TransportationDevice
(subclass Oar TransportationDevice)	Mid-level-ontology.kif 15460-15460	Oar ist eine teilkategorie von TransportationDevice
(subclass Wheelchair TransportationDevice)	Mid-level-ontology.kif 26112-26112	Wheelchair ist eine teilkategorie von TransportationDevice
(subclass Vehicle TransportationDevice)	Merge.kif 15996-15996	Vehicle ist eine teilkategorie von TransportationDevice

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