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 11597-11598 | |
(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 6929-6929 | |
(externalImage Transportation "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Cessna177BCardinal05.jpg") | pictureList.kif 8119-8119 | |
(externalImage Transportation "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Acela_2000.jpg") | pictureList.kif 8120-8120 | |
(relatedInternalConcept Transportation TransportationDevice) | Merge.kif 11595-11595 | Transportation ist innerlich verwandt mit TransportationDevice %n{nicht} |
(subclass Transportation Translocation) | Merge.kif 11594-11594 | Transportation ist eine teilkategorie von Translocation |
appearance as argument number 2 |
appearance as argument number 3 |
(domain conveyance 1 Transportation) | Mid-level-ontology.kif 23533-23533 | Die Zahl 1 Argument von conveyance ist ein fall von Transportation %n{nicht} |
(domain transported 1 Transportation) | Mid-level-ontology.kif 22858-22858 | Die Zahl 1 Argument von transported ist ein fall von Transportation %n{nicht} |
antecedent |
(=> (and (instance ?CRAFT WaterVehicle) (instance ?EVENT Transportation) (instrument ?EVENT ?CRAFT)) (exists (?WATER) (and (instance ?WATER WaterArea) (eventLocated ?EVENT ?WATER)))) |
Mid-level-ontology.kif 3498-3506 |
|
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (agent ?DRIVING ?DRIVER)) (transported ?TRANSPORT ?DRIVER)) |
Mid-level-ontology.kif 23575-23581 |
|
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (destination ?DRIVING ?DEST)) (destination ?TRANSPORT ?DEST)) |
Mid-level-ontology.kif 23583-23589 |
|
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE)) |
Mid-level-ontology.kif 23591-23598 |
|
(=> (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 ?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 15451-15459 |
|
(=> (and (instance ?T Transportation) (patient ?T ?S) (instrument ?T ?SS) (instance ?SS SewageSystem)) (instance ?S Sewage)) |
Transportation.kif 789-795 |
|
(=> (and (instance ?TRANSPORT Transportation) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (instance ?TRANSPORT TransportViaRoadVehicle)) |
Mid-level-ontology.kif 23536-23541 |
|
(=> (and (instance ?TRANSPORT Transportation) (subProcess ?TRANSPORT ?DRIVE) (instance ?DRIVE Driving) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE TransportationDevice)) (patient ?DRIVE ?VEHICLE)) |
Mid-level-ontology.kif 23556-23563 |
|
(=> (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 1852-1864 |
|
(=> (and (onboard ?O ?V) (instrument ?T ?V) (instance ?T Transportation)) (patient ?T ?O)) |
Mid-level-ontology.kif 17410-17415 |
|
(=> (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 |
|
(=> (instance ?TRANS Transportation) (exists (?DEVICE) (and (instance ?DEVICE TransportationDevice) (instrument ?TRANS ?DEVICE)))) |
Merge.kif 11600-11605 |
|
consequent |