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	子類 TransportationDevice and TransportationDevice 子類 TransportationDevice 的 transportation and Transportation 例 Process and TransportationDevice 的 transportation Object 例 Object and TransportationDevice 儀器 Process and Object
(=> (and (trafficableForTrafficType ?PLACE ?TYPE) (subclass ?TYPE TransportationDevice) (instance ?MOVER ?TYPE)) (capableAtLocation Transportation instrument ?MOVER ?PLACE))	Transportation.kif 2610-2615	SelfConnectedObject 是對於交通類別 Region 的 trafficable 子類 SelfConnectedObject and TransportationDevice 例 Object and SelfConnectedObject Transportation capable 在地點儀器對於 Object 跟 Region 在一起
(subclass Transportation Translocation)	Merge.kif 11616-11616	子類 Transportation and 易位
(subclass Shipping Transportation)	Mid-level-ontology.kif 7692-7692	子類運輸 and Transportation
(subclass Smuggling Transportation)	Mid-level-ontology.kif 7705-7705	子類走私 and Transportation
(subclass AirTransportation Transportation)	Mid-level-ontology.kif 17684-17684	子類航空運輸 and Transportation
(subclass SpaceTransportation Transportation)	Mid-level-ontology.kif 17697-17697	子類太空運輸 and Transportation
(subclass WaterTransportation Transportation)	Mid-level-ontology.kif 17738-17738	子類水運 and Transportation
(subclass LandTransportation Transportation)	Mid-level-ontology.kif 17766-17766	子類陸運 and Transportation
(subclass TransportViaRoadVehicle Transportation)	Mid-level-ontology.kif 17789-17789	子類通過公路車輛運輸 and Transportation
(subclass Driving Transportation)	Merge.kif 11635-11635	子類 Driving and Transportation
(subclass MoveToEvac Transportation)	Medicine.kif 6531-6531	子類 MoveToEvac and Transportation

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