| Vehicle(vehicle)
|
| appearance as argument number 1 |
|
| (subclass Vehicle TransportationDevice) | Merge.kif 16172-16172 | Vehicle is a subclass of transportation device |
| (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 16173-16180 | Vehicle is a subclass of transportation device |
| (externalImage Vehicle "http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG") | pictureList-ImageNet.kif 589-589 | Vehicle is a subclass of transportation device |
| (externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG") | pictureList.kif 6956-6956 | Vehicle is a subclass of transportation device |
| (externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg") | pictureList.kif 8213-8213 | Vehicle is a subclass of transportation device |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain onboard 2 Vehicle) | Mid-level-ontology.kif 19212-19212 | The number 2 argument of onboard is an instance of vehicle |
| (domain maximumPayloadCapacity 1 Vehicle) | MilitaryDevices.kif 81-81 | The number 1 argument of maximum payload capacity is an instance of vehicle |
| (domain maximumPayloadHeightWidth 1 Vehicle) | MilitaryDevices.kif 109-109 | The number 1 argument of maximum payload height width is an instance of vehicle |
| (domain TripFn 1 Vehicle) | Transportation.kif 1728-1728 | The number 1 argument of trip is an instance of vehicle |
| (domain topSpeed 1 Vehicle) | Transportation.kif 1865-1865 | The number 1 argument of top speed is an instance of vehicle |
| (domain pitch 1 Vehicle) | Transportation.kif 3186-3186 | The number 1 argument of pitch is an instance of vehicle |
| (domain yaw 1 Vehicle) | Transportation.kif 3225-3225 | The number 1 argument of yaw is an instance of vehicle |
| (domain roll 1 Vehicle) | Transportation.kif 3267-3267 | The number 1 argument of roll is an instance of vehicle |
| antecedent |
|
|
| (=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (origin ?MOVE ?FROM)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?FROM))) |
Merge.kif 16182-16188 | If X is an instance of vehicle, Y is an instance of translocation, X is an instrument for Y, and Y originates at Z, then X is located at Z holds during the beginning of the time of existence of Y |
| (=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?TO))) |
Merge.kif 16190-16196 | If X is an instance of vehicle, Y is an instance of translocation, X is an instrument for Y, and Y ends up at Z, then X is located at Z holds during the beginning of the time of existence of Y |
| (=> (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 3876-3886 | If X is an instance of vehicle brake, Y is an instance of vehicle, and X is a part of Y, then X has the purpose there exists Z such that Z is an instance of the stop of motion, Y is a patient of Z, and X is an instrument for Z |
| (=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE)) |
Mid-level-ontology.kif 25969-25976 | If X is an instance of driving, Y is a subprocess of X, Y is an instance of transportation, Z is an instance of vehicle, and Z is a patient of X, then Z is a conveyance during Y |
| (=> (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 33487-33498 | If X is a passenger in Y, Z is an instance of vehicle, and Z is an instrument for Y, then there doesn't exist W such that the time of existence of W takes place during the time of existence of Y, W is an instance of guiding, X is an agent of W, and Z is an instrument for W |
| (=> (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 | If X is an instance of parking brake, Y is an instance of vehicle, device on is an attribute of X holds during Z, and X is a part of Y, then X has the purpose there doesn't exist W such that W is an instance of translocation and Y is a patient of W holds during Z |
| (=> (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 | If All of the following hold: (1) X is an instance of brake pedal (2) Y is an instance of pushing (3) Z is an instance of vehicle (4) Y ends up at X (5) Y is located at Z (6) X is a part of Z, then X has the purpose there exist W, V such that W is an instance of wearing friction surface, V is an instance of friction, W is an instrument for V, and Y causes V |
| (=> (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 2958-2974 | If X is an instance of governor, Y is an instance of vehicle, X is connected to Y, and the maximum speed allowed by Z is W miles per hour(s), then X has the purpose there don't exist V and U such that V is an instance of translocation and the measure of Y is U miles per hour(s) and U is greater than W holds during the time of existence of V |
| (=> (and (instance ?O Odometer) (instance ?V Vehicle) (part ?O ?V) (instance ?T Translocation) (instrument ?T ?V) (path ?T ?P) (distanceOnPath (MeasureFn ?D ?U) ?P) (instance ?U LengthMeasure)) (hasPurpose ?O (exists (?M ?L ?DIST ?U) (and (instance ?M Measuring) (instrument ?M ?O) (measurementReading ?O ?DIST) (inList ?D ?L) (holdsDuring (WhenFn (EndFn ?M)) (and (equal ?DIST (MeasureFn (ListSumFn ?L) ?U)) (not (attribute ?O ResetMeasuringDevice)))))))) |
Cars.kif 2987-3013 | If All of the following hold: (1) X is an instance of odometer (2) Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) W is path along which Z occurs (7) the distance of W is V U(s) (8) U is an instance of length measure, then X has the purpose there exist T, S,, , R and U such that T is an instance of measuring and X is an instrument for T and R is a measurement reading of X and V is a member of S and equal R and the sum of S U(s) and reset measuring device is not an attribute of X holds during the time of existence of the end of T |
| (=> (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (instance ?MV Vehicle)) (instance ?MV MilitaryVehicle)) |
MilitaryDevices.kif 61-66 | If X is an instance of weapon, X is a part of Y, and Y is an instance of vehicle, then Y is an instance of military vehicle |
| consequent |
|
|
| (=> (instance ?DRIVE Driving) (exists (?VEHICLE) (and (instance ?VEHICLE Vehicle) (patient ?DRIVE ?VEHICLE)))) |
Merge.kif 11789-11794 | If X is an instance of driving, then there exists Y such that Y is an instance of vehicle and Y is a patient of X |
| (=> (instance ?L VehicleLight) (exists (?V) (and (instance ?V Vehicle) (part ?L ?V)))) |
Mid-level-ontology.kif 3527-3532 | If X is an instance of vehicle light, then there exists Y such that Y is an instance of vehicle and X is a part of Y |
| (=> (instance ?L Headlight) (exists (?V) (and (instance ?V Vehicle) (part ?L (FrontFn ?V))))) |
Mid-level-ontology.kif 3538-3543 | If X is an instance of headlight, then there exists Y such that Y is an instance of vehicle and X is a part of the front of Y |
| (=> (instance ?L Taillight) (exists (?V) (and (instance ?V Vehicle) (part ?L (BackFn ?V))))) |
Mid-level-ontology.kif 3549-3554 | If X is an instance of taillight, then there exists Y such that Y is an instance of vehicle and X is a part of the back of Y |
| (=> (instance ?C VehicleController) (exists (?V) (and (instance ?V Vehicle) (part ?C ?V)))) |
Mid-level-ontology.kif 3849-3854 | If X is an instance of vehicle controller, then there exists Y such that Y is an instance of vehicle and X is a part of Y |
| (=> (instance ?W VehicleWindow) (exists (?V) (and (instance ?V Vehicle) (part ?W ?V)))) |
Mid-level-ontology.kif 3906-3911 | If X is an instance of vehicle window, then there exists Y such that Y is an instance of vehicle and X is a part of Y |
| (=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle)) |
Mid-level-ontology.kif 3976-3978 | If X is an instance of Fleet, then vehicle is a member type of X |
| (=> (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 9633-9646 | If X is an instance of cavalry unit, Y is an instance of battle, and X is an agent of Y, then All of the following hold: (1) there exist Z, W (2) V such that soldier is an attribute of Z (3) Z is a member of X (4) V is an instance of transportation (5) Z is an agent of V (6) W is an instance of vehicle (7) W is a patient of V (8) V takes place during Y |
| (=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 16701-16709 | If X is an instance of window, then there exists Y such that X is a part of Y and Y is an instance of building, Y is an instance of room, or Y is an instance of vehicle |
| (=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle)) |
Mid-level-ontology.kif 19190-19194 | If X is an instance of boarding and Y is a patient of X, then Y is an instance of vehicle |
| (=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle)) |
Mid-level-ontology.kif 19231-19235 | If X is an instance of deboarding and Y is a patient of X, then Y is an instance of vehicle |
| (=> (instance ?H Hijacking) (exists (?V) (and (instance ?V Vehicle) (patient ?H ?V)))) |
Mid-level-ontology.kif 24281-24286 | If X is an instance of hijacking, then there exists Y such that Y is an instance of vehicle and Y is a patient of X |
| (=> (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 24712-24724 | If X is an instance of convoy, then All of the following hold: (1) there exist Y, Z (2) W such that equal Y (3) Z (4) Y is an instance of vehicle (5) Z is an instance of vehicle (6) W is an instance of timeframe (7) W is a part of the time of existence of X (8) Y is a member of X (9) Z is a member of X holds during W |
| (<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 32765-32769 | X is an instance of damaged vehicle if, only if X is an instance of vehicle, and device damaged is an attribute of X |
| (=> (instance ?S Speedometer) (hasPurpose ?S (exists (?V ?T ?SPEED ?DIST ?TIME ?M) (and (instance ?V Vehicle) (part ?S ?V) (instance ?T Translocation) (instrument ?T ?V) (measure ?T ?SPEED) (equal ?SPEED (SpeedFn ?DIST ?TIME)) (instance ?M Measuring) (instrument ?M ?S) (measurementReading ?M ?SPEED))))) |
Cars.kif 3035-3049 | If X is an instance of speedometer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) the measure of Z is W (7) equal W (8) V per U (9) T is an instance of measuring (10) X is an instrument for T (11) W is a measurement reading of T |
| (=> (instance ?VSD VehicleSafetyDevice) (hasPurpose ?VSD (exists (?V) (and (instance ?V Vehicle) (part ?VSD ?V))))) |
Cars.kif 3459-3465 | If X is an instance of vehicle safety device, then X has the purpose there exists Y such that Y is an instance of vehicle and X is a part of Y |
| (=> (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 3753-3782 | If X is an instance of seat belt, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of vehicle (3) X is a part of W (4) Y is an instance of human (5) W contains Y (6) Z is an instance of process (7) Z prevents the occurrence of the class described by V |
| (=> (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 5107-5118 | If X is an instance of vehicle seat, then X has the purpose there exist Y, Z, W such that Y is an instance of human, W is an instance of vehicle, sitting is an attribute of Y, Y is located at X, and X is located at W holds during Z |
| (=> (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 136-145 | If valet is an attribute of X, then X has the purpose Y is an instance of vehicle, Z is an instance of putting, Z ends up at W, W is an instance of parking area, Y is a patient of Z, and X is an agent of Z |
| (=> (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 2007-2019 | If X is an instance of wagon, Y is an instance of transportation, and X is an instrument for Y, then there exists Z such that Y is an instance of pulling, Z is an agent of Y, X is a patient of Y, and Z is an instance of domestic animal or Z is an instance of vehicle |
| (=> (instance ?SHIP VehicleCarrierShip) (cargoType ?SHIP Vehicle)) |
Transportation.kif 2528-2530 | If X is an instance of vehicle carrier ship, then vehicle is a cargo type of X |
| (=> (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 4989-5001 | If X is an instance of transportation service, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Z is an agent of X (3) Z possesses Y (4) Z is a customer of V (5) Y is an instance of vehicle (6) W is an instance of transportation (7) Z is an agent of W (8) V is a patient of W (9) Y is an instrument for W (10) W is a subprocess of X |
| (=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (attribute ?LISTING ForSaleByOwner) (patient ?LISTING ?ITEM)) (instance ?ITEM Vehicle)) |
UXExperimentalTerms.kif 373-379 | If X is an instance of object, Y is an instance of web listing, FSBO is an attribute of Y, and X is a patient of Y, then X is an instance of vehicle |
| (=> (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 ?MEM ?P (exists (?TRANS ?VEH) (and (instance ?TRANS Transportation) (instance ?TRANS RecreationOrExercise) (patient ?TRANS ?P) (possesses ?ORG ?VEH) (instance ?VEH Vehicle))))))))) |
naics.kif 8525-8546 | If X is an instance of organization and scenic and sightseeing transportation is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V (8) U such that V is an instance of transportation (9) V is an instance of recreation or exercise (10) W is a patient of V (11) X possesses U (12) U is an instance of vehicle to perform task of the type Z |
|
|
|