| Vehicle
| |
| appearance as argument number 1 |
|
|
| (documentation Vehicle ChineseLanguage "Vehicle 是 TransportationDevice 子类别，它通过自 身从一处移动往别处，同时也把乘客或货物和它一同从一处运载到另外一处，如：汽车、卡车、渡轮和飞机。它和通过移动 部件把东西从一处带到另外一处的设备如：导管、自动扶梯或超市用的结账运输带对比，而不需把设备从源处移到目的地。") | chinese_format.kif 3625-3627 | |
| (documentation Vehicle EnglishLanguage "Vehicle is the subclass of TransportationDevices that transport passengers or goods from one place to another by moving from one place to the other with them, e.g., cars, trucks, ferries, and airplanes. Contrast with devices such as pipelines, escalators, or supermarket checkout belts, which carry items from one place to another by means of a moving part, without the device removing from the origin to the destination.") | Merge.kif 15945-15952 | |
| (externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG") | pictureList.kif 6957-6957 | |
| (externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg") | pictureList.kif 8214-8214 | |
| (externalImage Vehicle "http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG") | pictureList-ImageNet.kif 589-589 | |
| (subclass Vehicle TransportationDevice) | Merge.kif 15944-15944 |
| appearance as argument number 2 |
|
|
| (subclass AgentPoweredVehicle Vehicle) | Transportation.kif 1811-1811 | |
| (subclass Aircraft Vehicle) | Mid-level-ontology.kif 17765-17765 | |
| (subclass ArmoredVehicle Vehicle) | MilitaryDevices.kif 1596-1596 | |
| (subclass CargoVehicle Vehicle) | Transportation.kif 1760-1760 | |
| (subclass DamagedVehicle Vehicle) | Mid-level-ontology.kif 29993-29993 | |
| (subclass LandVehicle Vehicle) | Mid-level-ontology.kif 3437-3437 | |
| (subclass MilitaryVehicle Vehicle) | Military.kif 131-131 | |
| (subclass PassengerVehicle Vehicle) | Transportation.kif 1742-1742 | |
| (subclass PoweredVehicle Vehicle) | Transportation.kif 1793-1793 | |
| (subclass RecreationalVehicle Vehicle) | Mid-level-ontology.kif 25679-25679 | |
| (subclass Spacecraft Vehicle) | Mid-level-ontology.kif 17659-17659 | |
| (subclass UnpoweredVehicle Vehicle) | Transportation.kif 1783-1783 | |
| (subclass WaterVehicle Vehicle) | Mid-level-ontology.kif 3455-3455 | |
| (termFormat ChineseLanguage Vehicle "车辆") | domainEnglishFormat.kif 61358-61358 | |
| (termFormat ChineseTraditionalLanguage Vehicle "車輛") | domainEnglishFormat.kif 61357-61357 | |
| (termFormat EnglishLanguage Vehicle "vehicle") | domainEnglishFormat.kif 61356-61356 | |
| (typicalPart Alternator Vehicle) | Cars.kif 1211-1211 | |
| (typicallyContainsPart Alternator Vehicle) | Cars.kif 1212-1212 |
| appearance as argument number 3 |
|
|
| (domain TripFn 1 Vehicle) | Transportation.kif 1583-1583 | |
| (domain maximumPayloadCapacity 1 Vehicle) | MilitaryDevices.kif 81-81 | |
| (domain maximumPayloadHeightWidth 1 Vehicle) | MilitaryDevices.kif 109-109 | |
| (domain onboard 2 Vehicle) | Mid-level-ontology.kif 17373-17373 | |
| (domain topSpeed 1 Vehicle) | Transportation.kif 1710-1710 |
| antecedent |
|
|
| (=> (and (instance ?B VehicleBrake) (instance ?V Vehicle) (part ?B ?V)) (hasPurpose ?B (exists (?S) (and (instance ?S (StopFn Motion)) (patient ?S ?V) (instrument ?S ?B))))) |
Mid-level-ontology.kif 3388-3398 | |
| (=> (and (instance ?BP BrakePedal) (instance ?P Pushing) (instance ?V Vehicle) (destination ?P ?BP) (eventLocated ?P ?V) (part ?BP ?V)) (hasPurpose ?BP (exists (?FS ?F) (and (instance ?FS WearingFrictionSurface) (instance ?F Friction) (instrument ?F ?FS) (causes ?P ?F))))) |
Cars.kif 693-707 | |
| (=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE)) |
Mid-level-ontology.kif 23542-23549 | |
| (=> (and (instance ?EG EngineGovernor) (instance ?V Vehicle) (connectedEngineeringComponents ?EG ?V) (governorSpeed ?E (MeasureFn ?S MilesPerHour))) (hasPurpose ?EG (not (exists (?T ?M) (and (instance ?T Translocation) (holdsDuring (WhenFn ?T) (and (measure ?V (MeasureFn ?M MilesPerHour)) (greaterThan ?M ?S)))))))) |
Cars.kif 2957-2973 | |
| (=> (and (instance ?P ParkingBrake) (instance ?V Vehicle) (holdsDuring ?T1 (attribute ?P DeviceOn)) (part ?P ?V)) (hasPurpose ?P (holdsDuring ?T1 (not (exists (?T) (and (instance ?T Translocation) (patient ?T ?V))))))) |
Cars.kif 567-580 | |
| (=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?TO))) |
Merge.kif 15962-15968 | |
| (=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (origin ?MOVE ?FROM)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?FROM))) |
Merge.kif 15954-15960 | |
| (=> (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (instance ?MV Vehicle)) (instance ?MV MilitaryVehicle)) |
MilitaryDevices.kif 61-66 | |
| (=> (and (passenger ?PROC ?PASS) (instance ?V Vehicle) (instrument ?PROC ?V)) (not (exists (?G) (and (during (WhenFn ?G) (WhenFn ?PROC)) (instance ?G Guiding) (agent ?G ?PASS) (instrument ?G ?V))))) |
Mid-level-ontology.kif 30673-30684 |
| consequent |
|
|
| (<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 29995-29999 | |
| (=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle)) |
Mid-level-ontology.kif 17351-17355 | |
| (=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle)) |
Mid-level-ontology.kif 17392-17396 | |
| (=> (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 8359-8372 | |
| (=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (attribute ?LISTING ForSaleByOwner) (patient ?LISTING ?ITEM)) (instance ?ITEM Vehicle)) |
UXExperimentalTerms.kif 464-470 | |
| (=> (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 ?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 | |
| (=> (attribute ?H Valet) (hasPurpose ?H (and (instance ?VEHICLE Vehicle) (instance ?PUT Putting) (destination ?PUT ?PARK) (instance ?PARK ParkingRegion) (patient ?PUT ?VEHICLE) (agent ?PUT ?H)))) |
TransportDetail.kif 132-141 | |
| (=> (instance ?C Convoy) (exists (?V1 ?V2 ?TIME) (and (not (equal ?V1 ?V2)) (instance ?V1 Vehicle) (instance ?V2 Vehicle) (instance ?TIME TimeInterval) (temporalPart ?TIME (WhenFn ?C)) (holdsDuring ?TIME (and (member ?V1 ?C) (member ?V2 ?C)))))) |
Mid-level-ontology.kif 22284-22296 | |
| (=> (instance ?C VehicleController) (exists (?V) (and (instance ?V Vehicle) (part ?C ?V)))) |
Mid-level-ontology.kif 3361-3366 | |
| (=> (instance ?DRIVE Driving) (exists (?VEHICLE) (and (instance ?VEHICLE Vehicle) (patient ?DRIVE ?VEHICLE)))) |
Merge.kif 11589-11594 | |
| (=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle)) |
Mid-level-ontology.kif 3488-3490 | |
| (=> (instance ?H Hijacking) (exists (?V) (and (instance ?V Vehicle) (patient ?H ?V)))) |
Mid-level-ontology.kif 21840-21845 | |
| (=> (instance ?L Headlight) (exists (?V) (and (instance ?V Vehicle) (part ?L (FrontFn ?V))))) |
Mid-level-ontology.kif 3050-3055 | |
| (=> (instance ?L Taillight) (exists (?V) (and (instance ?V Vehicle) (part ?L (BackFn ?V))))) |
Mid-level-ontology.kif 3061-3066 | |
| (=> (instance ?L VehicleLight) (exists (?V) (and (instance ?V Vehicle) (part ?L ?V)))) |
Mid-level-ontology.kif 3039-3044 | |
| (=> (instance ?S VehicleSeat) (hasPurpose ?S (exists (?H ?T ?V) (and (instance ?H Human) (instance ?V Vehicle) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S) (located ?S ?V))))))) |
Cars.kif 5029-5040 | |
| (=> (instance ?SHIP VehicleCarrierShip) (cargoType ?SHIP Vehicle)) |
Transportation.kif 2347-2349 | |
| (=> (instance ?SVC TransportationService) (exists (?VEHICLE ?AGENT ?TRANS ?CUST) (and (agent ?SVC ?AGENT) (possesses ?AGENT ?VEHICLE) (customer ?CUST ?AGENT) (instance ?VEHICLE Vehicle) (instance ?TRANS Transportation) (agent ?TRANS ?AGENT) (patient ?TRANS ?CUST) (instrument ?TRANS ?VEHICLE) (subProcess ?TRANS ?SVC)))) |
Transportation.kif 3340-3352 | |
| (=> (instance ?VSD VehicleSafetyDevice) (hasPurpose ?VSD (exists (?V) (and (instance ?V Vehicle) (part ?VSD ?V))))) |
Cars.kif 3381-3387 | |
| (=> (instance ?W VehicleWindow) (exists (?V) (and (instance ?V Vehicle) (part ?W ?V)))) |
Mid-level-ontology.kif 3418-3423 | |
| (=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 15147-15155 | |
| (=> (instance ?X SeatBelt) (hasPurpose ?X (exists (?PERSON ?STOP ?VEHICLE ?M) (and (instance ?VEHICLE Vehicle) (part ?X ?VEHICLE) (instance ?PERSON Human) (contains ?VEHICLE ?PERSON) (instance ?STOP Process) (prevents ?STOP (KappaFn ?M (and (instance ?M Translocation) (patient ?M ?PERSON) (exists (?COLLISION) (and (or (instance ?COLLISION Decelerating) (instance ?COLLISION Impacting)) (experiencer ?COLLISION ?VEHICLE) (causes ?COLLISION ?M))) (modalAttribute (exists (?INJ ?IMP) (and (instance ?INJ Injuring) (instance ?IMP Impacting) (causes ?M ?INJ) (patient ?INJ ?PERSON) (subProcess ?IMP ?INJ))) Possibility)))))))) |
Cars.kif 3675-3704 |
|
|
|