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

Hum-Vee, Humvee, bus, heap, jalopy

appearance as argument number 1

(disjoint RoadVehicle RollingStock)	Transportation.kif 2270-2270	RoadVehicle is disjoint from RollingStock
(documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.")	Mid-level-ontology.kif 3952-3953	RoadVehicle is disjoint from RollingStock
(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	RoadVehicle is disjoint from RollingStock
(subclass RoadVehicle LandVehicle)	Mid-level-ontology.kif 3951-3951	RoadVehicle is a subclass of LandVehicle

appearance as argument number 2

(industryProductType MotorVehicleManufacturing RoadVehicle)	Economy.kif 1938-1938	industryProductType MotorVehicleManufacturing and RoadVehicle
(subclass EmergencyRoadVehicle RoadVehicle)	Transportation.kif 2031-2031	EmergencyRoadVehicle is a subclass of RoadVehicle
(subclass MilitaryTank RoadVehicle)	Military.kif 156-156	MilitaryTank is a subclass of RoadVehicle
(subclass MotorScooter RoadVehicle)	Transportation.kif 2024-2024	MotorScooter is a subclass of RoadVehicle
(subclass SelfPoweredRoadVehicle RoadVehicle)	Transportation.kif 1942-1942	SelfPoweredRoadVehicle is a subclass of RoadVehicle
(subclass TractorTrailer RoadVehicle)	Transportation.kif 1966-1966	TractorTrailer is a subclass of RoadVehicle
(subclass Trailer RoadVehicle)	Transportation.kif 1959-1959	Trailer is a subclass of RoadVehicle
(termFormat ChineseLanguage RoadVehicle "公路车辆")	domainEnglishFormat.kif 50201-50201	Trailer is a subclass of RoadVehicle
(termFormat ChineseTraditionalLanguage RoadVehicle "公路車輛")	domainEnglishFormat.kif 50200-50200	Trailer is a subclass of RoadVehicle
(termFormat EnglishLanguage RoadVehicle "road vehicle")	domainEnglishFormat.kif 50199-50199	Trailer is a subclass of RoadVehicle

antecedent

(=> (and (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (exists (?TRANSPORT) (and (instance ?TRANSPORT TransportViaRoadVehicle) (subProcess ?TRANSPORT ?DRIVE))))	Mid-level-ontology.kif 25197-25205	If a process is an instance of driving and an entity is a patient of the process and the entity is an instance of RoadVehicle, then there exists another process such that the other process is an instance of TransportViaRoadVehicle 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 LeafSpring and the object is a part of another object and the other object is an instance of RoadVehicle, then the statement there exists the object2 such that the object2 is an instance of LeafSpring and the object2 is a part of the other object and equal the object and 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 3567-3581	If a TransitSystem is an instance of MultiModalTransitSystem and routeInSystem a Transitway and the TransitSystem 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 RoadVehicle 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 RailVehicle or the other object is an instance of WaterVehicle 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 3510-3521	If a TransitSystem is an instance of UniModalTransitSystem and routeInSystem a Transitway and the TransitSystem 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 RoadVehicle 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 RoadVehicle
(=> (and (instance ?TRANSPORT Transportation) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (instance ?TRANSPORT TransportViaRoadVehicle))	Mid-level-ontology.kif 25168-25173	If a process is an instance of transportation and an object is an instrument for the process and the object is an instance of RoadVehicle, then the process is an instance of TransportViaRoadVehicle
(=> (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 3981-3990	If an object is an instance of VehicleWheel and a corpuscular object is an instance of RoadVehicle 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 18255-18266	If an object is an instance of DriversLicense and an agent possesses the object, then confersNorm the object, 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 RoadVehicle and 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 3615-3629	If a TransitSystem is an instance of MultiModalTransitSystem and routeInSystem a Transitway and the TransitSystem 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 RailVehicle or the other object is an instance of WaterVehicle or the other object is an instance of RoadVehicle
(=> (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 3583-3597	If a TransitSystem is an instance of MultiModalTransitSystem and routeInSystem a Transitway and the TransitSystem 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 RailVehicle 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 RoadVehicle or the other object is an instance of WaterVehicle 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 3599-3613	If a TransitSystem is an instance of MultiModalTransitSystem and routeInSystem a Transitway and the TransitSystem 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 WaterVehicle 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 RailVehicle or the other object is an instance of RoadVehicle 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 3510-3521	If a TransitSystem is an instance of UniModalTransitSystem and routeInSystem a Transitway and the TransitSystem 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 RoadVehicle 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 RoadVehicle
(=> (and (instance ?TRANSPORT TransportViaRoadVehicle) (conveyance ?TRANSPORT ?VEHICLE)) (instance ?VEHICLE RoadVehicle))	Mid-level-ontology.kif 25175-25179	If a transportation is an instance of TransportViaRoadVehicle and a transportation device is a conveyance during the transportation, then the transportation device is an instance of RoadVehicle
(=> (instance ?GARAGE Garage) (hasPurpose ?GARAGE (exists (?AUTO) (and (instance ?AUTO RoadVehicle) (contains ?GARAGE ?AUTO)))))	Mid-level-ontology.kif 16840-16846	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 RoadVehicle 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 TireChain, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of RoadVehicle 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 covers the physical and 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 16567-16572	If an object is an instance of RearWindow, then there exists a self connected object such that the self connected object is an instance of RoadVehicle 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 3901-3906	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 RoadVehicle 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