| 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 16127-16129 | |
| (subclass TransportationDevice Device) | Merge.kif 16126-16126 |
| appearance as argument number 2 |
|
|
| (disjoint Furniture TransportationDevice) | Mid-level-ontology.kif 4155-4155 | |
| (relatedInternalConcept Transportation TransportationDevice) | Merge.kif 11730-11730 | |
| (subclass Elevator TransportationDevice) | Mid-level-ontology.kif 16795-16795 | |
| (subclass MilitaryPlatform TransportationDevice) | Military.kif 128-128 | |
| (subclass Oar TransportationDevice) | Mid-level-ontology.kif 16834-16834 | |
| (subclass Pump TransportationDevice) | Mid-level-ontology.kif 16821-16821 | |
| (subclass SnowSki TransportationDevice) | Sports.kif 1049-1049 | |
| (subclass Vehicle TransportationDevice) | Merge.kif 16135-16135 | |
| (subclass WaterSki TransportationDevice) | Sports.kif 1239-1239 | |
| (subclass Wheelchair TransportationDevice) | Mid-level-ontology.kif 28024-28024 | |
| (subclass WindSurfingBoard TransportationDevice) | Sports.kif 1293-1293 | |
| (termFormat ChineseLanguage TransportationDevice "运输设备") | chinese_format.kif 1058-1058 | |
| (termFormat EnglishLanguage TransportationDevice "transportation device") | english_format.kif 1327-1327 | |
| (termFormat FrenchLanguage TransportationDevice "v�hicule de transport") | french_format.kif 736-736 | |
| (termFormat Hindi TransportationDevice "parivahana saadhana") | terms-hindi.txt 267-267 | |
| (termFormat ItalianLanguage TransportationDevice "MezzoDiTrasporto") | terms-it.txt 270-270 | |
| (termFormat JapaneseLanguage TransportationDevice "輸送機") | japanese_format.kif 2420-2420 | |
| (termFormat PortugueseLanguage TransportationDevice "Veiculo de Transporte") | portuguese_format.kif 688-688 | |
| (termFormat cz TransportationDevice "transportation device") | terms-cz.txt 306-306 | |
| (termFormat de TransportationDevice "Transportvorrichtung") | terms-de.txt 565-565 | |
| (termFormat ro TransportationDevice "mijloc de transport") | relations-ro.kif 757-757 | |
| (termFormat tg TransportationDevice "paraan ng paglilipat") | terms-tg.txt 271-271 |
| appearance as argument number 3 |
|
|
| (domain cargoType 1 TransportationDevice) | Transportation.kif 1036-1036 | |
| (domain conveyance 2 TransportationDevice) | Mid-level-ontology.kif 25177-25177 | |
| (domain passengerCapacityMaxNumber 1 TransportationDevice) | Transportation.kif 4398-4398 | |
| (domainSubclass TransportationFn 1 TransportationDevice) | Transportation.kif 1695-1695 |
| antecedent |
|
|
| (=> (and (instance ?TRANSPORT Transportation) (subProcess ?TRANSPORT ?DRIVE) (instance ?DRIVE Driving) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE TransportationDevice)) (patient ?DRIVE ?VEHICLE)) |
Mid-level-ontology.kif 25199-25206 | |
| (=> (and (instance ?VEHICLE TransportationDevice) (instance ?TRIP (TripFn ?VEHICLE))) (instrument ?TRIP ?VEHICLE)) |
Transportation.kif 1720-1724 | |
| (=> (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 (trafficableForTrafficType ?PLACE ?TYPE) (subclass ?TYPE TransportationDevice) (instance ?MOVER ?TYPE)) (capableAtLocation Transportation instrument ?MOVER ?PLACE)) |
Transportation.kif 3141-3146 | |
| (=> (instance ?DEVICE TransportationDevice) (capability Transportation instrument ?DEVICE)) |
Merge.kif 16131-16133 |
| 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 7023-7040 | |
| (=> (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 5683-5699 | |
| (=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice))) ?AGENT)) |
TransportDetail.kif 51-63 | |
| (=> (instance ?PARK ParkingRegion) (hasPurpose ?PARK (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice))))) |
TransportDetail.kif 36-44 | |
| (=> (instance ?TERM TransitTerminal) (hasPurpose ?TERM (exists (?T ?D) (and (patient ?T ?D) (instance ?D TransportationDevice) (or (instance ?T Arriving) (instance ?T Leaving)) (eventLocated ?T ?TERM))))) |
Transportation.kif 3668-3678 | |
| (=> (instance ?TRANS Transportation) (exists (?DEVICE) (and (instance ?DEVICE TransportationDevice) (instrument ?TRANS ?DEVICE)))) |
Merge.kif 11735-11740 | |
| (=> (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 23481-23489 | |
| (=> (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 23547-23560 | |
| (=> (instance ?X VehicleAttack) (exists (?V) (and (instance ?V TransportationDevice) (instrument ?X ?V)))) |
Mid-level-ontology.kif 23783-23788 |
|
|
|