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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Transportation
Transportation(运输)

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 11747-11748
(documentation Transportation JapaneseLanguage "TransportationDevice を使用して、ある所か ら別のポ所への Motion。") japanese_format.kif 1832-1833
(externalImage Transportation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Taipei_MRT_Shimen_station.jpg") pictureList.kif 6928-6928
(externalImage Transportation "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Cessna177BCardinal05.jpg") pictureList.kif 8118-8118
(externalImage Transportation "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Acela_2000.jpg") pictureList.kif 8119-8119
(relatedInternalConcept Transportation TransportationDevice) Merge.kif 11745-11745 运输 和 运输设备 是 内部相关
(subclass Transportation Translocation) Merge.kif 11744-11744 运输 是 易位 的 subclass

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


(rangeSubclass TransportationFn Transportation) Transportation.kif 1696-1696 运输 的所得值 是 运输 的 subclass
(rangeSubclass TripFn Transportation) Transportation.kif 1713-1713 旅 的所得值 是 运输 的 subclass
(subclass AirTransportation Transportation) Mid-level-ontology.kif 19236-19236 航空运输 是 运输 的 subclass
(subclass Driving Transportation) Merge.kif 11763-11763 驾驶 是 运输 的 subclass
(subclass LandTransportation Transportation) Mid-level-ontology.kif 19318-19318 陆运 是 运输 的 subclass
(subclass MoveToEvac Transportation) Medicine.kif 6549-6549 MoveToEvac 是 运输 的 subclass
(subclass Smuggling Transportation) Mid-level-ontology.kif 8873-8873 走私 是 运输 的 subclass
(subclass SpaceTransportation Transportation) Mid-level-ontology.kif 19249-19249 太空运输 是 运输 的 subclass
(subclass TransportViaRoadVehicle Transportation) Mid-level-ontology.kif 19341-19341 通过公路车辆运输 是 运输 的 subclass
(subclass WaterTransportation Transportation) Mid-level-ontology.kif 19290-19290 水运 是 运输 的 subclass
(termFormat ChineseLanguage Transportation "运输") chinese_format.kif 1129-1129 水运 是 运输 的 subclass
(termFormat EnglishLanguage Transportation "transportation") english_format.kif 1475-1475 水运 是 运输 的 subclass
(termFormat FrenchLanguage Transportation "transporter") french_format.kif 807-807 水运 是 运输 的 subclass
(termFormat Hindi Transportation "parivahana") terms-hindi.txt 339-339 水运 是 运输 的 subclass
(termFormat ItalianLanguage Transportation "Trasporto") terms-it.txt 342-342 水运 是 运输 的 subclass
(termFormat JapaneseLanguage Transportation "交通手段") japanese_format.kif 2491-2491 水运 是 运输 的 subclass
(termFormat PortugueseLanguage Transportation "Transporte") portuguese_format.kif 759-759 水运 是 运输 的 subclass
(termFormat cb Transportation "sakyanan") terms-cb.txt 344-344 水运 是 运输 的 subclass
(termFormat cz Transportation "transportation") terms-cz.txt 378-378 水运 是 运输 的 subclass
(termFormat de Transportation "Transport") terms-de.txt 637-637 水运 是 运输 的 subclass
(termFormat ro Transportation "transport") relations-ro.kif 828-828 水运 是 运输 的 subclass
(termFormat tg Transportation "transportasyon") terms-tg.txt 343-343 水运 是 运输 的 subclass

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


(domain conveyance 1 Transportation) Mid-level-ontology.kif 25174-25174 运输工具 的 1 数量 是 运输 的 instance
(domain transported 1 Transportation) Mid-level-ontology.kif 24499-24499 运输 的 1 数量 是 运输 的 instance

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


(=>
    (and
        (instance ?CRAFT WaterVehicle)
        (instance ?EVENT Transportation)
        (instrument ?EVENT ?CRAFT))
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (eventLocated ?EVENT ?WATER))))		 Mid-level-ontology.kif 3941-3949
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (agent ?DRIVING ?DRIVER))
    (transported ?TRANSPORT ?DRIVER))		 Mid-level-ontology.kif 25216-25222
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (destination ?DRIVING ?DEST))
    (destination ?TRANSPORT ?DEST))		 Mid-level-ontology.kif 25224-25230
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))		 Mid-level-ontology.kif 25232-25239
(=>
    (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 1070-1090
(=>
    (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 1051-1068
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 Aircraft)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 RoadVehicle)))		 Transportation.kif 3616-3630
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RailVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RoadVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 Aircraft)))		 Transportation.kif 3584-3598
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RoadVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 Aircraft)))		 Transportation.kif 3568-3582
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 WaterVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 RoadVehicle)
        (instance ?V2 Aircraft)))		 Transportation.kif 3600-3614
(=>
    (and
        (instance ?S UniModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 Aircraft)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (instance ?V2 Aircraft))		 Transportation.kif 3550-3561
(=>
    (and
        (instance ?S UniModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RailVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (instance ?V2 RailVehicle))		 Transportation.kif 3524-3535
(=>
    (and
        (instance ?S UniModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RoadVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (instance ?V2 RoadVehicle))		 Transportation.kif 3511-3522
(=>
    (and
        (instance ?S UniModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 WaterVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (instance ?V2 WaterVehicle))		 Transportation.kif 3537-3548
(=>
    (and
        (instance ?T Transportation)
        (instance ?P1 Transitway)
        (path ?T ?P1)
        (conveyance ?T ?V)
        (instance ?J TransitwayJunction)
        (part ?J ?P1))
    (exists (?P2 ?M)
        (and
            (instance ?P2 Transitway)
            (not
                (equal ?P1 ?P2))
            (connects ?J ?P1 ?P2)
            (capability Transfer path ?J)
            (instance ?M Transfer)
            (conveyance ?M ?V)
            (meetsTemporally
                (WhenFn ?T)
                (WhenFn ?M))
            (modalAttribute
                (path ?M ?P2) Possibility))))		 Transportation.kif 3822-3842
(=>
    (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 16824-16832
(=>
    (and
        (instance ?T Transportation)
        (patient ?T ?S)
        (instrument ?T ?SS)
        (instance ?SS SewageSystem))
    (instance ?S Sewage))		 Transportation.kif 789-795
(=>
    (and
        (instance ?T Transportation)
        (transported ?T ?C)
        (attribute ?C ?H)
        (instance ?H HazardousMaterialTransportAttribute))
    (holdsDuring ?T
        (modalAttribute
            (exists (?D)
                (and
                    (instance ?D Damaging)
                    (resource ?D ?C))) Possibility)))		 Transportation.kif 4115-4126
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (instance ?TRANSPORT TransportViaRoadVehicle))		 Mid-level-ontology.kif 25177-25182
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (subProcess ?TRANSPORT ?DRIVE)
        (instance ?DRIVE Driving)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE TransportationDevice))
    (patient ?DRIVE ?VEHICLE))		 Mid-level-ontology.kif 25197-25204
(=>
    (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 1992-2004
(=>
    (and
        (onboard ?O ?V)
        (instrument ?T ?V)
        (instance ?T Transportation))
    (patient ?T ?O))		 Mid-level-ontology.kif 18961-18966
(=>
    (and
        (subclass ?TYPE TransportationDevice)
        (subclass
            (TransportationFn ?TYPE) Transportation)
        (instance ?TRIP
            (TransportationFn ?TYPE)))
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE ?TYPE)
            (instrument ?TRIP ?VEHICLE))))		 Transportation.kif 1701-1709
(=>
    (and
        (transitwayThroughputCapacity ?LT ?TI ?I)
        (instance ?LT AirTransitway)
        (instance ?C Collection)
        (memberType ?C Aircraft)
        (memberCount ?C ?I2)
        (member ?V ?C)
        (instance ?T Transportation)
        (instrument ?T ?V)
        (during
            (WhenFn ?T) ?TI)
        (path ?T ?LT))
    (greaterThanOrEqualTo ?I ?I2))		 Transportation.kif 3947-3959

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 9593-9606
(=>
    (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 2588-2603
(=>
    (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 ?OBJ)
                            (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 7953-7978
(=>
    (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 8736-8756
(=>
    (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 ?OBJ ?PIPE)
                            (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 8465-8488
(=>
    (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 8707-8727
(=>
    (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 ?OBJ)
                            (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 8034-8059
(=>
    (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 8528-8549
(=>
    (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 8344-8364
(=>
    (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 ?OBJ)
                            (and
                                (instance ?T Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?T ?OBJ)
                                (instance ?OBJ Object)
                                (possesses ?ORG ?V)
                                (instance ?V LandVehicle))) ?MEM ?P))))))		 naics.kif 8253-8275
(=>
    (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 ?OBJ)
                            (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 8080-8105
(=>
    (and
        (instance ?VEHICLE CargoVehicle)
        (instance ?O Human))
    (not
        (modalAttribute
            (exists (?T)
                (and
                    (instance ?T Transportation)
                    (patient ?T ?O)
                    (instrument ?T ?VEHICLE))) Possibility)))		 Transportation.kif 1906-1916
(=>
    (and
        (instance ?VEHICLE PassengerVehicle)
        (instance ?HUMAN Human))
    (modalAttribute
        (exists (?T)
            (and
                (instance ?T Transportation)
                (patient ?T ?HUMAN)
                (instrument ?T ?VEHICLE))) Possibility))		 Transportation.kif 1888-1898
(=>
    (and
        (instance ?W Transitway)
        (attribute ?W BiDirectionalTraffic))
    (exists (?P)
        (and
            (instance ?P Policy)
            (confersNorm ?P
                (exists (?T1 ?A ?B)
                    (and
                        (instance ?T1 Transportation)
                        (path ?T1 ?W)
                        (instance ?A GeographicArea)
                        (origin ?T1 ?A)
                        (instance ?B GeographicArea)
                        (destination ?T1 ?B)
                        (holdsDuring
                            (WhenFn ?T1)
                            (exists (?T2)
                                (and
                                    (instance ?T2 Transportation)
                                    (path ?T2 ?W)
                                    (origin ?T1 ?B)
                                    (destination ?T1 ?A)
                                    (not
                                        (equal ?T1 ?T2))))))) Permission))))		 Transportation.kif 3242-3266
(=>
    (and
        (instance ?W Transitway)
        (attribute ?W UniDirectionalTraffic))
    (exists (?P)
        (and
            (instance ?P Policy)
            (confersNorm ?P
                (exists (?T1 ?A ?B)
                    (and
                        (instance ?T1 Transportation)
                        (path ?T1 ?W)
                        (instance ?A GeographicArea)
                        (origin ?T1 ?A)
                        (instance ?B GeographicArea)
                        (destination ?T1 ?B)
                        (holdsDuring
                            (WhenFn ?T1)
                            (exists (?T2)
                                (and
                                    (instance ?T2 Transportation)
                                    (path ?T2 ?W)
                                    (origin ?T1 ?B)
                                    (destination ?T1 ?A)
                                    (not
                                        (equal ?T1 ?T2))))))) Prohibition))))		 Transportation.kif 3275-3299
(=>
    (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 3141-3146
(=>
    (instance ?A Ambulance)
    (hasPurpose ?A
        (exists (?P ?T)
            (and
                (instance ?P Human)
                (or
                    (attribute ?P DiseaseOrSyndrome)
                    (exists (?I ?H)
                        (and
                            (instance ?I Injuring)
                            (experiencer ?I ?H)
                            (before ?I ?T))))
                (instance ?T Transportation)
                (instrument ?T ?A)
                (patient ?T ?H)))))		 Transportation.kif 2046-2061
(=>
    (instance ?AP AirPump)
    (hasPurpose ?AP
        (exists (?T ?A)
            (and
                (instance ?T Transportation)
                (instance ?A Air)
                (instrument ?T ?AP)
                (patient ?T ?A)))))		 Mid-level-ontology.kif 27163-27171
(=>
    (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 4829-4839
(=>
    (instance ?B Bomber)
    (hasPurpose ?B
        (exists (?T ?D)
            (and
                (instance ?T Transportation)
                (instrument ?T ?B)
                (patient ?T ?D)
                (instance ?D ExplosiveDevice)))))		 Military.kif 254-262
(=>
    (instance ?B Bus)
    (hasPurpose ?B
        (exists (?C ?T ?N ?P)
            (and
                (instance ?C Collection)
                (instance ?T Transportation)
                (memberCount ?C ?N)
                (greaterThan ?N 11)
                (=>
                    (member ?P ?C)
                    (patient ?T ?P))))))		 Transportation.kif 2112-2123
(=>
    (instance ?C TransportationCompany)
    (exists (?S)
        (and
            (instance ?S CommercialService)
            (agent ?S ?C)
            (instance ?S Transportation))))		 Mid-level-ontology.kif 8340-8346
(=>
    (instance ?CAR PassengerRailcar)
    (exists (?CARRY)
        (capability
            (KappaFn ?CARRY
                (and
                    (instance ?CARRY Transportation)
                    (exists (?HUMAN)
                        (and
                            (instance ?HUMAN Human)
                            (patient ?CARRY ?HUMAN))))) instrument ?CAR)))		 Transportation.kif 2302-2312

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 3.0 is open source software produced by Articulate Software and its partners