| TransportationDevice | |
| appearance as argument number 1 |
|
|
| (documentation TransportationDevice ChineseLanguage "TransportationDevice 是在 Transportation Process 中用作 instrument 的一个 Device，通过这个 Process， 它把 patient 从一处运载到另一处。") | chinese_format.kif 3622-3624 | |
| (documentation TransportationDevice EnglishLanguage "A TransportationDevice is a Device which serves as the instrument in a Transportation Process which carries the patient of the Process from one point to another.") | Merge.kif 14847-14849 | |
| (subclass TransportationDevice Device) | Merge.kif 14846-14846 |
| appearance as argument number 2 |
|
|
| (disjoint Furniture TransportationDevice) | Mid-level-ontology.kif 3645-3645 | |
| (relatedInternalConcept Transportation TransportationDevice) | Merge.kif 10850-10850 | |
| (subclass Elevator TransportationDevice) | Mid-level-ontology.kif 12154-12154 | |
| (subclass MilitaryPlatform TransportationDevice) | Military.kif 128-128 | |
| (subclass Oar TransportationDevice) | Mid-level-ontology.kif 12193-12193 | |
| (subclass Pump TransportationDevice) | Mid-level-ontology.kif 12180-12180 | |
| (subclass SnowSki TransportationDevice) | Sports.kif 886-886 | |
| (subclass Vehicle TransportationDevice) | Merge.kif 14855-14855 | |
| (subclass WaterSki TransportationDevice) | Sports.kif 1077-1077 | |
| (subclass Wheelchair TransportationDevice) | Mid-level-ontology.kif 22337-22337 | |
| (subclass WindSurfingBoard TransportationDevice) | Sports.kif 1131-1131 | |
| (termFormat ChineseLanguage TransportationDevice "运输设备") | chinese_format.kif 1058-1058 | |
| (termFormat EnglishLanguage TransportationDevice "transportation device") | english_format.kif 1332-1332 |
| appearance as argument number 3 |
|
|
| (domain cargoType 1 TransportationDevice) | Transportation.kif 1036-1036 | |
| (domain conveyance 2 TransportationDevice) | Mid-level-ontology.kif 19971-19971 | |
| (domain passengerCapacityMaxNumber 1 TransportationDevice) | Transportation.kif 3264-3264 | |
| (domainSubclass TransportationFn 1 TransportationDevice) | Transportation.kif 1566-1566 |
| antecedent |
|
|
| (=> (and (instance ?TRANSPORT Transportation) (subProcess ?TRANSPORT ?DRIVE) (instance ?DRIVE Driving) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE TransportationDevice)) (patient ?DRIVE ?VEHICLE)) |
Mid-level-ontology.kif 19993-20000 | |
| (=> (and (instance ?VEHICLE TransportationDevice) (instance ?TRIP (TripFn ?VEHICLE))) (instrument ?TRIP ?VEHICLE)) |
Transportation.kif 1591-1595 | |
| (=> (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 | |
| (=> (and (trafficableForTrafficType ?PLACE ?TYPE) (subclass ?TYPE TransportationDevice) (instance ?MOVER ?TYPE)) (capableAtLocation Transportation instrument ?MOVER ?PLACE)) |
Transportation.kif 2617-2622 | |
| (=> (instance ?DEVICE TransportationDevice) (capability Transportation instrument ?DEVICE)) |
Merge.kif 14851-14853 |
| consequent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG MotorVehicleAndPartsDealers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (or (instance ?THING TransportationDevice) (exists (?DEV) (and (part ?THING ?DEV) (instance ?DEV TransportationDevice))) (patient ?EV ?THING))))))) |
naics.kif 7030-7047 | |
| (=> (and (instance ?ORG Organization) (attribute ?ORG TransportationEquipmentManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING TransportationDevice) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 5690-5706 | |
| (=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK (and (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)) ?AGENT)) |
TransportDetail.kif 49-59 | |
| (=> (instance ?PARK ParkingRegion) (hasPurpose ?PARK (and (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)))) |
TransportDetail.kif 36-42 | |
| (=> (instance ?TRANS Transportation) (exists (?DEVICE) (and (instance ?DEVICE TransportationDevice) (instrument ?TRANS ?DEVICE)))) |
Merge.kif 10855-10860 | |
| (=> (instance ?X CarBombing) (exists (?BOMB ?CAR) (and (instance ?BOMB Bomb) (instance ?CAR TransportationDevice) (instrument ?X ?CAR) (instrument ?X ?BOMB) (connected ?CAR ?BOMB)))) |
Mid-level-ontology.kif 18312-18320 | |
| (=> (instance ?X Hijacking) (exists (?V ?A) (and (agent ?X ?A) (instance ?V TransportationDevice) (holdsDuring (ImmediatePastFn (WhenFn ?X)) (not (possesses ?A ?V))) (holdsDuring (WhenFn ?X) (possesses ?A ?V))))) |
Mid-level-ontology.kif 18375-18388 | |
| (=> (instance ?X VehicleAttack) (exists (?V) (and (instance ?V TransportationDevice) (instrument ?X ?V)))) |
Mid-level-ontology.kif 18611-18616 |
|
|
|