TreeView Knowledge Base Browser - LandVehicle

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LandVehicle

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

(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 3418-3422
(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 1440-1440
(subclass LandVehicle Vehicle)	Mid-level-ontology.kif 3417-3417	Land vehicle is a subclass of vehicle

appearance as argument number 2

(subclass APC LandVehicle)	MilitaryDevices.kif 1573-1573	AP c is a subclass of land vehicle
(subclass AllTerrainVehicle LandVehicle)	Cars.kif 4764-4764	All-terrain vehicle is a subclass of land vehicle
(subclass AmphibiousVehicle LandVehicle)	MilitaryDevices.kif 2019-2019	Amphibious vehicle is a subclass of land vehicle
(subclass Cycle LandVehicle)	Transportation.kif 1931-1931	Cycle is a subclass of land vehicle
(subclass FourWheelDriveVehicle LandVehicle)	Cars.kif 4586-4586	Four wheel drive is a subclass of land vehicle
(subclass RailVehicle LandVehicle)	Transportation.kif 2041-2041	Rail vehicle is a subclass of land vehicle
(subclass RoadVehicle LandVehicle)	Mid-level-ontology.kif 3460-3460	Road vehicle is a subclass of land vehicle
(subclass Scooter LandVehicle)	Transportation.kif 1952-1952	Scooter is a subclass of land vehicle
(subclass TwoWheelDriveVehicle LandVehicle)	Cars.kif 4609-4609	Four wheel drive is a subclass of land vehicle
(subclass Wagon LandVehicle)	Transportation.kif 1854-1854	Wagon is a subclass of land vehicle
(termFormat ChineseLanguage LandVehicle "陆地车辆")	domainEnglishFormat.kif 33288-33288
(termFormat ChineseTraditionalLanguage LandVehicle "陸地車輛")	domainEnglishFormat.kif 33287-33287
(termFormat EnglishLanguage LandVehicle "land vehicle")	domainEnglishFormat.kif 33286-33286

antecedent

(=> (instance ?VEHICLE LandVehicle) (capability LandTransportation instrument ?VEHICLE))	Mid-level-ontology.kif 17172-17174	If an object is an instance of land vehicle, then the object is capable of doing land transportation as a instrument
(=> (instance ?VEHICLE LandVehicle) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?VEHICLE))))	Mid-level-ontology.kif 3329-3334	If an object is an instance of land vehicle, then there exists another object such that the other object is an instance of wheel and the other object is a part of the object
(=> (instance ?X LandVehicle) (hasPurpose ?X (exists (?EV ?SURF) (and (surface ?SURF GeographicArea) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?SURF))))))	Mid-level-ontology.kif 3424-3433	If a physical is an instance of land vehicle, then the physical has the purpose there exist an entity and another entity such that the other entity is a surface of geographic area and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity

consequent

(=> (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 a collection is an instance of organization and transit and ground passenger transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of land vehicle
(=> (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) (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 a collection is an instance of organization and truck transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of land vehicle
(=> (instance ?LAND LandTransportation) (exists (?CRAFT ?AREA) (and (instance ?CRAFT LandVehicle) (instance ?AREA LandArea) (instrument ?LAND ?CRAFT) (located ?CRAFT ?AREA))))	Mid-level-ontology.kif 17163-17170	If a process is an instance of land transportation, then there exist an object and another object such that the object is an instance of land vehicle and the other object is an instance of land area and the object is an instrument for the process and the object is located at the other object
(=> (instance ?SERVICE LandTransportationService) (exists (?LAND ?VEHICLE) (and (instance ?LAND LandTransportation) (instance ?VEHICLE LandVehicle) (instrument ?LAND ?VEHICLE) (subProcess ?LAND ?SERVICE))))	Transportation.kif 3379-3386	If a process is an instance of Land Transportation Service, then there exist another process and an object such that the other process is an instance of land transportation and the object is an instance of land vehicle and the object is an instrument for the other process and the other process is a subprocess of the process
(=> (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 21678-21686	If a physical is an instance of road, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the entity is located at 2 and the other entity is an instance of land vehicle and the other entity is an instrument for the entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners