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 11645-11646 | |
(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 11643-11643 | |
(subclass Transportation Translocation) | Merge.kif 11642-11642 |
appearance as argument number 2 |
![]() |
(rangeSubclass TransportationFn Transportation) | Transportation.kif 1696-1696 | |
(rangeSubclass TripFn Transportation) | Transportation.kif 1713-1713 | |
(subclass AirTransportation Transportation) | Mid-level-ontology.kif 17984-17984 | |
(subclass Driving Transportation) | Merge.kif 11661-11661 | |
(subclass LandTransportation Transportation) | Mid-level-ontology.kif 18066-18066 | |
(subclass MoveToEvac Transportation) | Medicine.kif 6515-6515 | |
(subclass Smuggling Transportation) | Mid-level-ontology.kif 7933-7933 | |
(subclass SpaceTransportation Transportation) | Mid-level-ontology.kif 17997-17997 | |
(subclass TransportViaRoadVehicle Transportation) | Mid-level-ontology.kif 18089-18089 | |
(subclass WaterTransportation Transportation) | Mid-level-ontology.kif 18038-18038 | |
(termFormat ChineseLanguage Transportation "运输") | chinese_format.kif 1129-1129 | |
(termFormat EnglishLanguage Transportation "transportation") | english_format.kif 1475-1475 | |
(termFormat FrenchLanguage Transportation "transporter") | french_format.kif 807-807 | |
(termFormat Hindi Transportation "parivahana") | terms-hindi.txt 339-339 | |
(termFormat ItalianLanguage Transportation "Trasporto") | terms-it.txt 342-342 | |
(termFormat JapaneseLanguage Transportation "交通手段") | japanese_format.kif 2491-2491 | |
(termFormat PortugueseLanguage Transportation "Transporte") | portuguese_format.kif 759-759 | |
(termFormat cb Transportation "sakyanan") | terms-cb.txt 344-344 | |
(termFormat cz Transportation "transportation") | terms-cz.txt 378-378 | |
(termFormat ro Transportation "transport") | relations-ro.kif 828-828 | |
(termFormat tg Transportation "transportasyon") | terms-tg.txt 343-343 |
appearance as argument number 3 |
![]() |
(domain conveyance 1 Transportation) | Mid-level-ontology.kif 23857-23857 | |
(domain transported 1 Transportation) | Mid-level-ontology.kif 23182-23182 |
antecedent |
![]() |
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 8614-8627 | |
(=> (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 2606-2621 | |
(=> (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 3239-3263 | |
(=> (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 3272-3296 | |
(=> (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 3138-3143 | |
(=> (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 25830-25838 | |
(=> (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 177-185 | |
(=> (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 7406-7412 | |
(=> (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 |
![]() |
![]() |