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 15965-15965	TransportationDevice ist eine teilkategorie von Device
(subclass SnowSki TransportationDevice)	Sports.kif 1035-1035	SnowSki ist eine teilkategorie von TransportationDevice
(subclass WaterSki TransportationDevice)	Sports.kif 1225-1225	WaterSki ist eine teilkategorie von TransportationDevice
(subclass WindSurfingBoard TransportationDevice)	Sports.kif 1279-1279	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 15422-15422	Elevator ist eine teilkategorie von TransportationDevice
(subclass Pump TransportationDevice)	Mid-level-ontology.kif 15448-15448	Pump ist eine teilkategorie von TransportationDevice
(subclass Oar TransportationDevice)	Mid-level-ontology.kif 15461-15461	Oar ist eine teilkategorie von TransportationDevice
(subclass Wheelchair TransportationDevice)	Mid-level-ontology.kif 26124-26124	Wheelchair ist eine teilkategorie von TransportationDevice
(subclass Vehicle TransportationDevice)	Merge.kif 15974-15974	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