RoadVehicle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RoadVehicle

RoadVehicle(road vehicle)

Hum-Vee, Humvee, bus, heap, jalopy

appearance as argument number 1

(disjoint RoadVehicle RollingStock)	Transportation.kif 2271-2271	Road vehicle is disjoint from rolling stock
(documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.")	Mid-level-ontology.kif 3971-3972	Road vehicle is disjoint from rolling stock
(externalImage RoadVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 15/ Late_model_Ford_Model_T.jpg/ 180px_Late_model_Ford_Model_T.jpg")	pictureList.kif 1239-1239	Road vehicle is disjoint from rolling stock
(subclass RoadVehicle LandVehicle)	Mid-level-ontology.kif 3970-3970	Road vehicle is a subclass of land vehicle

appearance as argument number 2

(industryProductType MotorVehicleManufacturing RoadVehicle)	Economy.kif 1943-1943	Road vehicle is an industry product type of motor vehicle manufacturing
(subclass EmergencyRoadVehicle RoadVehicle)	Transportation.kif 2032-2032	Emergency road vehicle is a subclass of road vehicle
(subclass MilitaryTank RoadVehicle)	Military.kif 146-146	Military tank is a subclass of road vehicle
(subclass MotorScooter RoadVehicle)	Transportation.kif 2025-2025	Motor scooter is a subclass of road vehicle
(subclass SelfPoweredRoadVehicle RoadVehicle)	Transportation.kif 1943-1943	Self powered road vehicle is a subclass of road vehicle
(subclass TractorTrailer RoadVehicle)	Transportation.kif 1967-1967	Tractor trailer is a subclass of road vehicle
(subclass Trailer RoadVehicle)	Transportation.kif 1960-1960	Trailer is a subclass of road vehicle
(termFormat ChineseLanguage RoadVehicle "公路车辆")	domainEnglishFormat.kif 50231-50231	Trailer is a subclass of road vehicle
(termFormat ChineseTraditionalLanguage RoadVehicle "公路車輛")	domainEnglishFormat.kif 50230-50230	Trailer is a subclass of road vehicle
(termFormat EnglishLanguage RoadVehicle "road vehicle")	domainEnglishFormat.kif 50229-50229	Trailer is a subclass of road vehicle

antecedent

(=> (and (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (exists (?TRANSPORT) (and (instance ?TRANSPORT TransportViaRoadVehicle) (subProcess ?TRANSPORT ?DRIVE))))	Mid-level-ontology.kif 25225-25233	If a process is an instance of driving and an entity is a patient of the process and the entity is an instance of road vehicle, then there exists another process such that the other process is an instance of transport via a road vehicle and the other process is a subprocess of the process
(=> (and (instance ?L LeafSpring) (part ?L ?RV) (instance ?RV RoadVehicle)) (modalAttribute (exists (?L2) (and (instance ?L2 LeafSpring) (part ?L2 ?RV) (not (equal ?L ?L2)) (meetsSpatially ?L ?L2))) Likely))	Cars.kif 902-915	If an object is an instance of leaf spring and the object is a part of another object and the other object is an instance of road vehicle, then the statement there exists the object2 such that the object2 is an instance of leaf spring and the object2 is a part of the other object and the object is not equal to the object2 and the object meets the object2 has the modal force of likely
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RoadVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 WaterVehicle) (instance ?V2 Aircraft)))	Transportation.kif 3568-3582	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of road vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of water vehicle or the other object is an instance of aircraft
(=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RoadVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 RoadVehicle))	Transportation.kif 3511-3522	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of road vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of road vehicle
(=> (and (instance ?TRANSPORT Transportation) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (instance ?TRANSPORT TransportViaRoadVehicle))	Mid-level-ontology.kif 25196-25201	If a process is an instance of transportation and an object is an instrument for the process and the object is an instance of road vehicle, then the process is an instance of transport via a road vehicle
(=> (and (instance ?W VehicleWheel) (instance ?V RoadVehicle) (part ?W ?V)) (exists (?A) (and (instance ?A Axle) (component ?A ?V) (connected ?W ?A))))	Mid-level-ontology.kif 4000-4009	If an object is an instance of vehicle wheel and a corpuscular object is an instance of road vehicle and the object is a part of the corpuscular object, then there exists another corpuscular object such that the other corpuscular object is an instance of axle and the other corpuscular object is a component of the corpuscular object and the object is connected to the other corpuscular object

consequent

(=> (and (instance ?L DriversLicense) (possesses ?A ?L)) (confersNorm ?L (exists (?D ?V) (and (instance ?D Driving) (agent ?D ?A) (patient ?D ?V) (instance ?V RoadVehicle))) Permission))	Mid-level-ontology.kif 18289-18300	If an object is an instance of drivers license and an agent possesses the object, then the object confers norm there exist an entity and another entity such that the entity is an instance of driving and the agent is an agent of the entity and the other entity is a patient of the entity and the other entity is an instance of road vehicle for permission
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 Aircraft) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 WaterVehicle) (instance ?V2 RoadVehicle)))	Transportation.kif 3616-3630	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of aircraft and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of water vehicle or the other object is an instance of road vehicle
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RailVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RoadVehicle) (instance ?V2 WaterVehicle) (instance ?V2 Aircraft)))	Transportation.kif 3584-3598	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of rail vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of road vehicle or the other object is an instance of water vehicle or the other object is an instance of aircraft
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 WaterVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 RoadVehicle) (instance ?V2 Aircraft)))	Transportation.kif 3600-3614	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of water vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of road vehicle or the other object is an instance of aircraft
(=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RoadVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 RoadVehicle))	Transportation.kif 3511-3522	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of road vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of road vehicle
(=> (and (instance ?TRANSPORT TransportViaRoadVehicle) (conveyance ?TRANSPORT ?VEHICLE)) (instance ?VEHICLE RoadVehicle))	Mid-level-ontology.kif 25203-25207	If a transportation is an instance of transport via a road vehicle and a transportation device is a conveyance during the transportation, then the transportation device is an instance of road vehicle
(=> (instance ?GARAGE Garage) (hasPurpose ?GARAGE (exists (?AUTO) (and (instance ?AUTO RoadVehicle) (contains ?GARAGE ?AUTO)))))	Mid-level-ontology.kif 16869-16875	If a physical is an instance of garage, then the physical has the purpose there exists an entity such that the entity is an instance of road vehicle and the physical contains the entity
(=> (instance ?TC TireChain) (hasPurpose ?TC (exists (?V ?W ?F) (and (instance ?V RoadVehicle) (instance ?W Wheel) (part ?W ?V) (instance ?F Friction) (covers ?TC ?W) (instrument ?F ?TC)))))	Cars.kif 4514-4524	If a physical is an instance of snow chain, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of road vehicle and the other entity is an instance of wheel and the other entity is a part of the entity and the third entity is an instance of friction and the physical covers the other entity and the physical is an instrument for the third entity
(=> (instance ?W RearWindow) (exists (?A) (and (instance ?A RoadVehicle) (part ?W (BackFn ?A)))))	Mid-level-ontology.kif 16596-16601	If an object is an instance of rear window, then there exists a self connected object such that the self connected object is an instance of road vehicle and the object is a part of the back of the self connected object
(=> (instance ?W Windshield) (exists (?A) (and (instance ?A RoadVehicle) (part ?W (FrontFn ?A)))))	Mid-level-ontology.kif 3920-3925	If an object is an instance of windshield, then there exists a self connected object such that the self connected object is an instance of road vehicle and the object is a part of the front of the self connected object

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