Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LandVehicle
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LandVehicle Vehicle) | Mid-level-ontology.kif 4092-4092 | 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 4093-4097 | 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 19691-19698 | 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 19776-19794 | 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 24500-24508 | 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 216-228 | 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 5055-5062 | 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 ?MEM ?P (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object) (possesses ?ORG ?V) (instance ?V LandVehicle))))))))) |
naics.kif 8250-8272 | 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) W allows 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 to perform task of the type Z |
| (=> (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 ?MEM ?P (exists (?T ?V) (and (instance ?T Transportation) (patient ?T ?P) (possesses ?ORG ?V) (instance ?V LandVehicle))))))))) |
naics.kif 8341-8361 | 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) W allows 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 to perform task of the type Z |
|
