| LandVehicle(land vehicle)
| | Caterpillar, armored_car, armoured_car, cat, hearse, post_chaise, pung, road_roller, steamroller, tracked_vehicle, wheeled_vehicle |
| appearance as argument number 1 |
|
|
| (subclass LandVehicle Vehicle) | Mid-level-ontology.kif 3925-3925 | Land vehicle is a subclass of vehicle |
| (documentation LandVehicle EnglishLanguage "LandVehicle is the class of TransportationDevices that travel on land. The two main types of LandVehicle are RoadVehicle and RailVehicle. Note that this includes vehicles which travel on any solid surface, including a frozen body of water or snow.") | Mid-level-ontology.kif 3926-3930 | Land vehicle is a subclass of vehicle |
| (externalImage LandVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 56/ 2002-2003_Land_Rover_Freelander.jpg/ 800px-2002-2003_Land_Rover_Freelander.jpg") | pictureList.kif 1439-1439 | Land vehicle is a subclass of vehicle |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?LAND LandTransportation) (exists (?CRAFT ?AREA) (and (instance ?CRAFT LandVehicle) (instance ?AREA LandArea) (instrument ?LAND ?CRAFT) (located ?CRAFT ?AREA)))) |
Mid-level-ontology.kif 19639-19646 | If X is an instance of land transportation, then there exist Y, Z such that Y is an instance of land vehicle, Z is an instance of land area, Y is an instrument for X, and Y is located at Z |
| (=> (instance ?MINE LandMine) (hasPurpose ?MINE (exists (?L ?E ?M ?O) (and (instance ?L LandArea) (located ?MINE ?L) (instance ?E Explosion) (instrument ?E ?MINE) (locatedAtTime ?MINE (WhenFn ?E) ?L) (causes ?M ?E) (instance ?M Motion) (eventLocated ?M ?L) (origin ?M ?O) (orientation ?O ?MINE On) (or (instance ?O Human) (instance ?O LandVehicle)))))) |
Mid-level-ontology.kif 19729-19747 | If X is an instance of land mine, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of land area (3) X is located at Y (4) Z is an instance of explosion (5) X is an instrument for Z (6) X located at time the time of existence of Z for Y (7) W causes Z (8) W is an instance of motion (9) W is located at Y (10) W originates at V (11) V is on to X (12) V is an instance of human or V is an instance of land vehicle |
| (=> (instance ?X Road) (hasPurpose ?X (exists (?EV ?VEH) (and (instance ?EV Transportation) (eventLocated ?EV ?X) (instance ?VEH LandVehicle) (instrument ?EV ?VEH))))) |
Mid-level-ontology.kif 24582-24590 | If X is an instance of road, then X has the purpose there exist Y, Z such that Y is an instance of transportation, Y is located at X, Z is an instance of land vehicle, and Z is an instrument for Y |
| (=> (instance ?TRACK ContinuousTrack) (hasPurpose ?TRACK (exists (?R ?V ?T) (and (instance ?R Rotating) (patient ?R ?TRACK) (part ?TRACK ?V) (instance ?V LandVehicle) (instance ?T Translocation) (patient ?T ?V) (causes ?R ?T) (subProcess ?R ?T))))) |
Military.kif 214-226 | If X is an instance of Continuous track, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of rotating (3) X is a patient of Y (4) X is a part of Z (5) Z is an instance of land vehicle (6) W is an instance of translocation (7) Z is a patient of W (8) Y causes W (9) Y is a subprocess of W |
| (=> (instance ?SERVICE LandTransportationService) (exists (?LAND ?VEHICLE) (and (instance ?LAND LandTransportation) (instance ?VEHICLE LandVehicle) (instrument ?LAND ?VEHICLE) (subProcess ?LAND ?SERVICE)))) |
Transportation.kif 5031-5038 | If X is an instance of Land Transportation Service, then there exist Y, Z such that Y is an instance of land transportation, Z is an instance of land vehicle, Z is an instrument for Y, and Y is a subprocess of X |
| (=> (and (instance ?ORG Organization) (attribute ?ORG TruckTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object) (possesses ?ORG ?V) (instance ?V LandVehicle))) ?MEM ?P)))))) |
naics.kif 8253-8275 | If X is an instance of organization and truck 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) Z allows W to perform task of the type there exist V, U (8) T such that V is an instance of transportation (9) W possesses T (10) T is a patient of V (11) T is an instance of object (12) X possesses U (13) U is an instance of land vehicle |
| (=> (and (instance ?ORG Organization) (attribute ?ORG TransitAndGroundPassengerTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V) (and (instance ?T Transportation) (patient ?T ?P) (possesses ?ORG ?V) (instance ?V LandVehicle))) ?MEM ?P)))))) |
naics.kif 8344-8364 | If X is an instance of organization and transit and ground passenger 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) Z allows W to perform task of the type there exist V (8) U such that V is an instance of transportation (9) W is a patient of V (10) X possesses U (11) U is an instance of land vehicle |
|
|
|