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 3459-3463
(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 3458-3458	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 4746-4746	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 4568-4568	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 3501-3501	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 4591-4591	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 33335-33335	Wagon is a subclass of land vehicle
(termFormat ChineseTraditionalLanguage LandVehicle "陸地車輛")	domainEnglishFormat.kif 33334-33334	Wagon is a subclass of land vehicle
(termFormat EnglishLanguage LandVehicle "land vehicle")	domainEnglishFormat.kif 33333-33333	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 3840-3852	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 18038-18040	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 3370-3375	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 3465-3474	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 18029-18036	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 4199-4206	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 22505-22513	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