Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Transportation
Transportation(transportation)
Berlin_airlift, advect, airlift, aquaplane, astrogate, automobile, awheel, backpedal, balloon, bareboating, barge, beach, bear_down_on, bear_down_upon, beat, beetle, boating, bob, bobsled, bobsledding, bring_down, bronco_buster, broncobuster, bus, buster, cabotage, call_at, canoe, canter, caravan, carry, carry_over, cart, cart_away, cart_off, cartage, carting, chandelle, chariot, chauffeur, chute, circumnavigate, commutation, commuting, compass, conveyance, crash-dive, crossing, cruise, cut_in...

VerbNet: vehicle-51.4.1|balloon, drive-11.5|barge, pocket-9.10|beach, vehicle-51.4.1|bobsled, vehicle-51.4.1|bobsled, pocket-9.10|land, drive-11.5|bus, vehicle-51.4.1|canoe, run-51.3.2|canter, carry-11.4|carry, drive-11.5|cart, vehicle-51.4.1|chariot, captain-29.8|chauffeur, vehicle-51.4.1|parachute, captain-29.8|chauffeur, run-51.3.2|gallop, drive-11.5|ferry, roll-51.3.1|float, run-51.3.2|gallop, run-51.3.2|travel, sight-30.2|inspect, run-51.3.2|travel, vehicle-51.4.1|parachute, weekend-56|junket, weekend-56|junket, vehicle-51.4.1|kayak, run-51.3.2|travel, vehicle-51.4.1|toboggan, run-51.3.2|travel, nonvehicle-51.4.2|sail, nonvehicle-51.4.2|paddle, vehicle-51.4.1|parachute, send-11.1|port, hold-15.1|push, pocket-9.10|land, vehicle-51.4.1|raft, run-51.3.2|repair, run-51.3.2|repair, nonvehicle-51.4.2|ride, nonvehicle-51.4.2|sail, send-11.1|shunt, vehicle-51.4.1|skateboard, vehicle-51.4.1|ski, vehicle-51.4.1|sledge, vehicle-51.4.1|toboggan, drive-11.5|tool, send-11.1|transport, send-11.1|transship, run-51.3.2|trek, drive-11.5|truck, ...


appearance as argument number 1
-------------------------


(documentation Transportation ChineseLanguage "这是通过一种 TransportationDevice 从一处到 另一处的 Motion。") chinese_format.kif 3064-3065
(documentation Transportation EnglishLanguage "Motion from one point to another by means of a TransportationDevice.") Merge.kif 10663-10664
(externalImage Transportation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Taipei_MRT_Shimen_station.jpg") pictureList.kif 6930-6930 "http://upload.wikimedia.org/wikipedia/commons/4/41/ Taipei_MRT_Shimen_station.jpg" is a URL depicting transportation
(externalImage Transportation "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Cessna177BCardinal05.jpg") pictureList.kif 8121-8121 "http://upload.wikimedia.org/wikipedia/commons/8/84/ Cessna177BCardinal05.jpg" is a URL depicting transportation
(externalImage Transportation "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Acela_2000.jpg") pictureList.kif 8122-8122 "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Acela_2000.jpg" is a URL depicting transportation
(relatedInternalConcept Transportation TransportationDevice) Merge.kif 10661-10661 Transportation is internally related to transportation device
(subclass Transportation Translocation) Merge.kif 10660-10660 Transportation is a subclass of translocation

appearance as argument number 2
-------------------------


(rangeSubclass TransportationFn Transportation) Transportation.kif 1552-1552 The values returned by transportation are subclasses of transportation
(rangeSubclass TripFn Transportation) Transportation.kif 1569-1569 The values returned by trip are subclasses of transportation
(subclass AirTransportation Transportation) Mid-level-ontology.kif 15268-15268 Air transportation is a subclass of transportation
(subclass Driving Transportation) Merge.kif 10679-10679 Driving is a subclass of transportation
(subclass LandTransportation Transportation) Mid-level-ontology.kif 15350-15350 Land transportation is a subclass of transportation
(subclass Shipping Transportation) Mid-level-ontology.kif 7384-7384 Shipping is a subclass of transportation
(subclass Smuggling Transportation) Mid-level-ontology.kif 7397-7397 Smuggling is a subclass of transportation
(subclass SpaceTransportation Transportation) Mid-level-ontology.kif 15281-15281 Space transportation is a subclass of transportation
(subclass TransportViaRoadVehicle Transportation) Mid-level-ontology.kif 15373-15373 Transport via a road vehicle is a subclass of transportation
(subclass WaterTransportation Transportation) Mid-level-ontology.kif 15322-15322 Water transportation is a subclass of transportation
(termFormat ChineseLanguage Transportation "运输") chinese_format.kif 1129-1129 "运输" is the printable form of transportation in ChineseLanguage
(termFormat EnglishLanguage Transportation "transportation") english_format.kif 1480-1480 "transportation" is the printable form of transportation in english language

appearance as argument number 3
-------------------------


(domain conveyance 1 Transportation) Mid-level-ontology.kif 21351-21351 The number 1 argument of conveyance is an instance of transportation
(domain transported 1 Transportation) Mid-level-ontology.kif 20641-20641 The number 1 argument of transported is an instance of transportation

antecedent
-------------------------


(=>
    (and
        (instance ?CRAFT WaterVehicle)
        (instance ?EVENT Transportation)
        (instrument ?EVENT ?CRAFT))
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (eventLocated ?EVENT ?WATER))))
Mid-level-ontology.kif 4031-4039
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (agent ?DRIVING ?DRIVER))
    (transported ?TRANSPORT ?DRIVER))
Mid-level-ontology.kif 21393-21399
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (destination ?DRIVING ?DEST))
    (destination ?TRANSPORT ?DEST))
Mid-level-ontology.kif 21401-21407
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))
Mid-level-ontology.kif 21409-21416
(=>
    (and
        (instance ?FP FuelPump)
        (instance ?A Automobile)
        (part ?FP ?A)
        (instance ?T Transportation)
        (instance ?F Fuel)
        (patient ?T ?F)
        (instrument ?F ?FP)
        (instance ?GT GasTank)
        (part ?GT ?A)
        (instance ?EC EngineCylinder)
        (part ?EC ?A)
        (origin ?T ?GT)
        (destination ?T ?EC)
        (path ?T ?P))
    (hasPurpose ?T
        (exists (?FF)
            (and
                (instance ?FF FuelFilter)
                (betweenOnPath ?GT ?FF ?EC ?P)))))
Cars.kif 1060-1080
(=>
    (and
        (instance ?FP FuelPump)
        (instance ?A Automobile)
        (part ?FP ?A)
        (instance ?T Transportation)
        (instance ?F Fuel)
        (patient ?T ?F)
        (instrument ?F ?FP))
    (hasPurpose ?FP
        (exists (?GT ?EC)
            (and
                (instance ?GT GasTank)
                (part ?GT ?A)
                (instance ?EC EngineCylinder)
                (part ?EC ?A)
                (origin ?T ?GT)
                (destination ?T ?EC)))))
Cars.kif 1041-1058
(=>
    (and
        (instance ?T Transportation)
        (instance ?W Wheel)
        (instance ?A Automobile)
        (part ?W ?A)
        (instrument ?T ?A)
        (instance ?AB AntilockBrake)
        (instance ?D Decelerating)
        (instrument ?D ?AB)
        (part ?AB ?W))
    (hasPurpose ?AB
        (exists (?R)
            (and
                (instance ?R Rotating)
                (during ?R ?D)))))
Cars.kif 1292-1307
(=>
    (and
        (instance ?T Transportation)
        (instrument ?T ?D)
        (instance ?D Pump))
    (exists (?F)
        (and
            (instrument ?T ?F)
            (attribute ?F Fluid))))
Mid-level-ontology.kif 13127-13135
(=>
    (and
        (instance ?T Transportation)
        (patient ?T ?S)
        (instrument ?T ?SS)
        (instance ?SS SewageSystem))
    (instance ?S Sewage))
Transportation.kif 778-784
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (instance ?TRANSPORT TransportViaRoadVehicle))
Mid-level-ontology.kif 21354-21359
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (subProcess ?TRANSPORT ?DRIVE)
        (instance ?DRIVE Driving)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE TransportationDevice))
    (patient ?DRIVE ?VEHICLE))
Mid-level-ontology.kif 21374-21381
(=>
    (and
        (instance ?W Wagon)
        (instance ?T Transportation)
        (instrument ?T ?W))
    (exists (?P)
        (and
            (instance ?T Pulling)
            (agent ?T ?P)
            (patient ?T ?W)
            (or
                (instance ?P DomesticAnimal)
                (instance ?P Vehicle)))))
Transportation.kif 1842-1854
(=>
    (and
        (onboard ?O ?V)
        (instrument ?T ?V)
        (instance ?T Transportation))
    (patient ?T ?O))
Mid-level-ontology.kif 14961-14966
(=>
    (and
        (subclass ?TYPE TransportationDevice)
        (subclass
            (TransportationFn ?TYPE) Transportation)
        (instance ?TRIP
            (TransportationFn ?TYPE)))
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE ?TYPE)
            (instrument ?TRIP ?VEHICLE))))
Transportation.kif 1557-1565
(=>
    (instance ?TRANS Transportation)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE TransportationDevice)
            (instrument ?TRANS ?DEVICE))))
Merge.kif 10666-10671

consequent
-------------------------


(=>
    (and
        (instance ?C CavalryUnit)
        (instance ?B Battle)
        (agent ?B ?C))
    (exists (?P ?V ?T)
        (and
            (attribute ?P Soldier)
            (member ?P ?C)
            (instance ?T Transportation)
            (agent ?T ?P)
            (instance ?V Vehicle)
            (patient ?T ?V)
            (during ?T ?B))))
Mid-level-ontology.kif 8109-8122
(=>
    (and
        (instance ?C Convoy)
        (member ?X1 ?C)
        (member ?X2 ?C)
        (not
            (equal ?X1 ?X2)))
    (exists (?P1 ?P2 ?D)
        (and
            (instance ?P1 Transportation)
            (instance ?P2 Transportation)
            (agent ?P1 ?X1)
            (agent ?P2 ?X2)
            (destination ?P1 ?D)
            (destination ?P2 ?D))))
Military.kif 108-122
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?O)
        (agent ?EV ?A))
    (exists (?T ?TA)
        (and
            (instance ?T Transportation)
            (destination ?T ?O)
            (or
                (subOrganization ?TA ?A)
                (member ?TA ?A)
                (equal ?TA ?A))
            (or
                (agent ?T ?TA)
                (patient ?T ?TA)))))
MilitaryProcesses.kif 2534-2549
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG AirTransportationIndustry))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?FLY ?PLANE)
                            (and
                                (instance ?FLY Transportation)
                                (or
                                    (patient ?FLY ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?FLY ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?PLANE)
                                (instance ?PLANE Aircraft))) ?MEM ?P))))))
naics.kif 7960-7985
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG CouriersAndMessengers))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P ?OBJ)
                (and
                    (instance ?EV Selling)
                    (instance ?OBJ Object)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?TRANS)
                            (and
                                (instance ?TRANS Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8659-8679
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PipelineTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?T ?OBJ)
                                (instance ?OBJ Substance)
                                (possesses ?ORG ?V)
                                (instrument ?T ?PIPE)
                                (instance ?PIPE Pipeline))) ?MEM ?P))))))
naics.kif 8388-8411
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PostalService))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P ?OBJ)
                (and
                    (instance ?EV Selling)
                    (instance ?OBJ Object)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?TRANS)
                            (and
                                (instance ?TRANS Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8630-8650
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG RailTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?MOVE ?RR)
                            (and
                                (instance ?MOVE Transportation)
                                (or
                                    (patient ?MOVE ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?MOVE ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?RR)
                                (instance ?RR RailVehicle))) ?MEM ?P))))))
naics.kif 8041-8066
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ScenicAndSightseeingTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?TRANS ?VEH)
                            (and
                                (instance ?TRANS Transportation)
                                (instance ?TRANS RecreationOrExercise)
                                (patient ?TRANS ?P)
                                (possesses ?ORG ?VEH)
                                (instance ?VEH Vehicle))) ?MEM ?P))))))
naics.kif 8451-8472
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG TransitAndGroundPassengerTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (patient ?T ?P)
                                (possesses ?ORG ?V)
                                (instance ?V LandVehicle))) ?MEM ?P))))))
naics.kif 8267-8287
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG TruckTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?T ?OBJ)
                                (instance ?OBJ Object)
                                (possesses ?ORG ?V)
                                (instance ?V LandVehicle))) ?MEM ?P))))))
naics.kif 8176-8198
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG WaterTransportationIndustry))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (or
                                    (patient ?T ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?T ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?V)
                                (instance ?V WaterVehicle))) ?MEM ?P))))))
naics.kif 8087-8112
(=>
    (and
        (instance ?VEHICLE CargoVehicle)
        (instance ?O Human))
    (not
        (modalAttribute
            (exists (?T)
                (and
                    (instance ?T Transportation)
                    (patient ?T ?HUMAN)
                    (instrument ?T ?VEHICLE))) Possibility)))
Transportation.kif 1756-1766
(=>
    (and
        (instance ?VEHICLE PassengerVehicle)
        (instance ?HUMAN Human))
    (modalAttribute
        (exists (?T)
            (and
                (instance ?T Transportation)
                (patient ?T ?HUMAN)
                (instrument ?T ?VEHICLE))) Possibility))
Transportation.kif 1738-1748
(=>
    (and
        (maximumPayloadCapacity ?V
            (MeasureFn ?WEIGHT ?UNITWEIGHT))
        (maximumPayloadHeightWidth ?V
            (MeasureFn ?HEIGHT ?UNITHEIGHT)
            (MeasureFn ?WIDTH ?UNITWIDTH))
        (instance ?O SelfConnectedObject)
        (weight ?O
            (MeasureFn ?WEO ?WEOU))
        (width ?O
            (MeasureFn ?WO ?WOU))
        (height ?O
            (MeasureFn ?HO ?HOU))
        (equal ?WEOU ?UNITWEIGHT)
        (equal ?WOU ?UNITWIDTH)
        (equal ?HOU ?UNITHEIGHT)
        (lessThanOrEqualTo ?WEO ?WEIGHT)
        (lessThanOrEqualTo ?WO ?WIDTH)
        (lessThanOrEqualTo ?HO ?HEIGHT))
    (capability
        (KappaFn ?TRANSPORT
            (and
                (instance ?TRANSPORT Transportation)
                (patient ?TRANSPORT ?O))) instrument ?V))
MilitaryDevices.kif 144-169
(=>
    (and
        (trafficableForTrafficType ?PLACE ?TYPE)
        (subclass ?TYPE TransportationDevice)
        (instance ?MOVER ?TYPE))
    (capableAtLocation Transportation instrument ?MOVER ?PLACE))
Transportation.kif 2579-2584
(=>
    (instance ?A Ambulance)
    (hasPurpose ?A
        (exists (?P ?T)
            (and
                (instance ?P Human)
                (or
                    (attribute ?P DiseaseOrSyndrome)
                    (exists (?I)
                        (and
                            (instance ?I Injuring)
                            (experiencer ?I ?H)
                            (before ?I ?T))))
                (instance ?T Transportation)
                (instrument ?T ?A)
                (patient ?T ?H)))))
Transportation.kif 1896-1911
(=>
    (instance ?AP AirPump)
    (hasPurpose ?AP
        (exists (?T ?A)
            (and
                (instance ?T Transportation)
                (instance ?A Air)
                (instrument ?T ?AP)
                (patient ?T ?A)))))
Cars.kif 1208-1216
(=>
    (instance ?ATV AllTerrainVehicle)
    (hasPurpose ?ATV
        (exists (?D ?L)
            (and
                (instance ?D Transportation)
                (instrument ?D ?ATV)
                (holdsDuring
                    (WhenFn ?D)
                    (orientation ?ATV ?L On))
                (not
                    (instance ?L Roadway))))))
Cars.kif 4747-4757
(=>
    (instance ?B Bomber)
    (hasPurpose ?B
        (exists (?T ?D)
            (and
                (instance ?T Transportation)
                (instrument ?T ?B)
                (patient ?T ?D)
                (instance ?D ExplosiveDevice)))))
Military.kif 177-185
(=>
    (instance ?B Bus)
    (hasPurpose ?B
        (exists (?C ?T ?N)
            (and
                (instance ?C Collection)
                (instance ?T Transportation)
                (memberCount ?C ?N)
                (greaterThan ?N 11)
                (=>
                    (member ?P ?C)
                    (patient ?T ?P))))))
Transportation.kif 1962-1973
(=>
    (instance ?C TransportationCompany)
    (exists (?S)
        (and
            (instance ?S CommercialService)
            (agent ?S ?C)
            (instance ?S Transportation))))
Mid-level-ontology.kif 6840-6846
(=>
    (instance ?CAR PassengerRailcar)
    (capability
        (KappaFn ?CARRY
            (and
                (instance ?CARRY Transportation)
                (exists (?HUMAN)
                    (and
                        (instance ?HUMAN Human)
                        (patient ?CARRY ?HUMAN))))) instrument ?CAR))
Transportation.kif 2117-2126
(=>
    (instance ?COMPANY RailroadCompany)
    (exists (?SERVICE ?TRAIN)
        (and
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?COMPANY)
            (instance ?SERVICE Transportation)
            (instrument ?SERVICE ?TRAIN)
            (instance ?TRAIN Train))))
Transportation.kif 3192-3200
(=>
    (instance ?DEVICE TransportationDevice)
    (capability Transportation instrument ?DEVICE))
Merge.kif 14654-14656

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners