LandVehicle - Sigma Knowledge base Browser

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 3928-3932
(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
(subclass LandVehicle Vehicle)	Mid-level-ontology.kif 3927-3927	Land vehicle is a subclass of vehicle

appearance as argument number 2

(subclass AMEV LandVehicle)	MilitaryDevices.kif 2129-2129	M113A4 Armored Medical Evacuation Vehicle is a subclass of land vehicle
(subclass APC LandVehicle)	MilitaryDevices.kif 1573-1573	APC is a subclass of land vehicle
(subclass AllTerrainVehicle LandVehicle)	Cars.kif 4822-4822	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 2063-2063	Cycle is a subclass of land vehicle
(subclass FourWheelDriveVehicle LandVehicle)	Cars.kif 4644-4644	Four wheel drive is a subclass of land vehicle
(subclass RailVehicle LandVehicle)	Transportation.kif 2173-2173	Rail vehicle is a subclass of land vehicle
(subclass RoadVehicle LandVehicle)	Mid-level-ontology.kif 3970-3970	Road vehicle is a subclass of land vehicle
(subclass Scooter LandVehicle)	Transportation.kif 2084-2084	Scooter is a subclass of land vehicle
(subclass TwoWheelDriveVehicle LandVehicle)	Cars.kif 4667-4667	Four wheel drive is a subclass of land vehicle
(subclass Wagon LandVehicle)	Transportation.kif 1986-1986	Wagon is a subclass of land vehicle
(termFormat ChineseLanguage LandVehicle "陆地车辆")	domainEnglishFormat.kif 33329-33329	Wagon is a subclass of land vehicle
(termFormat ChineseTraditionalLanguage LandVehicle "陸地車輛")	domainEnglishFormat.kif 33328-33328	Wagon is a subclass of land vehicle
(termFormat EnglishLanguage LandVehicle "land vehicle")	domainEnglishFormat.kif 33327-33327	Wagon is a subclass of land vehicle

antecedent

(=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT LandTransitway) (instance ?C Collection) (memberType ?C LandVehicle) (memberCount ?C ?I2) (member ?V ?C) (instance ?T Transportation) (instrument ?T ?V) (during (WhenFn ?T) ?TI) (path ?T ?LT)) (greaterThanOrEqualTo ?I ?I2))	Transportation.kif 3917-3929	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of land transitway and a collection is an instance of collection and land vehicle is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2
(=> (instance ?VEHICLE LandVehicle) (capability LandTransportation instrument ?VEHICLE))	Mid-level-ontology.kif 19348-19350	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 3839-3844	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 3934-3943	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 ?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 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, another entity and a third entity such that the entity is an instance of transportation and the cognitive agent possesses the 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 19339-19346	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 ?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 19430-19448	If a physical is an instance of land mine, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of land area and the physical is located at the entity and the other entity is an instance of explosion and the physical is an instrument for the other entity and the physical located at time the time of existence of the other entity for the entity and the third entity causes the other entity and the third entity is an instance of motion and the third entity is located at the entity and the third entity originates at the fourth entity and the fourth entity is on to the physical and the fourth entity is an instance of human or the fourth entity is an instance of land vehicle
(=> (instance ?SERVICE LandTransportationService) (exists (?LAND ?VEHICLE) (and (instance ?LAND LandTransportation) (instance ?VEHICLE LandVehicle) (instrument ?LAND ?VEHICLE) (subProcess ?LAND ?SERVICE))))	Transportation.kif 4513-4520	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 ?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 204-216	If a physical is an instance of Continuous track, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of rotating and the physical is a patient of the entity and the physical is a part of the other entity and the other entity is an instance of land vehicle and the third entity is an instance of translocation and the other entity is a patient of the third entity and the entity causes the third entity and the entity is a subprocess of the third entity
(=> (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 23882-23890	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 the physical and the other entity is an instance of land vehicle and the other entity is an instrument for the entity

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

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