Vehicle - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3625-3627
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14692-14699
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6958-6958	"http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG" is a URL depicting vehicle
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8216-8216	"http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg" is a URL depicting vehicle
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 590-590	"http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG" is a URL depicting vehicle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14691-14691	Vehicle is a subclass of transportation device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1801-1801	Agent powered vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15408-15408	Aircraft is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1596-1596	Armored vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1750-1750	Cargo vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28244-28244	DamagedVehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3998-3998	Land vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	Military.kif 131-131	Military vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1732-1732	Passenger vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1783-1783	Powered vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23680-23680	Camper is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15302-15302	Spacecraft is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1773-1773	Unpowered vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4015-4015	Water vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61291-61291	"车辆" is the printable form of vehicle in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61290-61290	"車輛" is the printable form of vehicle in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61289-61289	"vehicle" is the printable form of vehicle in english language
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1201-1201	A alternator is typically a part of a vehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1202-1202	A vehicle typically has a part alternator

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1568-1568	The number 1 argument of trip is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 81-81	The number 1 argument of maximum payload capacity is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 109-109	The number 1 argument of maximum payload height width is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14961-14961	The number 2 argument of onboard is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1703-1703	The number 1 argument of topSpeed is an instance of vehicle

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3949-3959	If an object is an instance of vehicle brake and another object is an instance of vehicle and the object is a part of the other object, then the object purpose there exists an entity such that the entity is an instance of the stop of motion and the other object is a patient of the entity and the object is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at 2 and the object is a part of the other object, then the object purpose there exist an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21505-21512	If a process is an instance of driving and a transportation is a subprocess of the process and the transportation is an instance of transportation and a transportation device is an instance of vehicle and the transportation device is a patient of the process, then the transportation device is a conveyance during the transportation
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2933-2947	If an engineering component is an instance of governor and another engineering component is an instance of vehicle and the engineering component is connected to the other engineering component and the maximum speed allowed by a governor is a function quantity, then the engineering component purpose there don't exist an entity and another entity such that the entity is an instance of translocation and the measure of the other engineering component is the other entity and the other entity is greater than the function quantity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 567-580	If an object is an instance of parking brake and another object is an instance of vehicle and device on is an attribute of the object holds during a time position and the object is a part of the other object, then the object purpose there doesn't exist an entity such that the entity is an instance of translocation and the other object is a patient of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14709-14715	If an object is an instance of vehicle and a process is an instance of translocation and the object is an instrument for the process and the process ends up at an entity, then the object is located at the entity holds during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14701-14707	If an object is an instance of vehicle and a process is an instance of translocation and the object is an instrument for the process and the process originates at another object, then the object is located at the other object holds during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 61-66	If an object is an instance of weapon and the object is a part of another object and the other object is an instance of vehicle, then the other object is an instance of military vehicle

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28246-28250	An object is an instance of DamagedVehicle if and only if the object is an instance of vehicle and DeviceDamaged is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14939-14943	If a process is an instance of boarding and an entity is a patient of the process, then the entity is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14980-14984	If a process is an instance of deboarding and an entity is a patient of the process, then the entity is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8112-8125	If an agent is an instance of cavalry unit and a time interval is an instance of battle and the agent is an agent of the time interval, then there exist another agent, an entity and another time interval such that soldier is an attribute of the other agent and the other agent is a member of the agent and the other time interval is an instance of transportation and the other agent is an agent of the other time interval and the entity is an instance of vehicle and the entity is a patient of the other time interval and the other time interval takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 461-467	If an entity is an instance of object and an object is an instance of web listing and FSBO is an attribute of the object and the entity is a patient of the object, then the entity is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8451-8472	If a collection is an instance of organization and scenic and sightseeing transportation is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object 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 object 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 entity is an instance of recreation or exercise 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 vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1842-1854	If an object is an instance of wagon and a process is an instance of transportation and the object is an instrument for the process, then there exists an agent such that the process is an instance of pulling and the agent is an agent of the process and the object is a patient of the process and the agent is an instance of domestic animal or the agent is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 132-141	If valet is an attribute of an object, then the object purpose an entity is an instance of vehicle and another entity is an instance of putting and the other entity ends up at a third entity and the third entity is an instance of parking area and the entity is a patient of the other entity and the object is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20169-20181	If a physical is an instance of convoy, then there exist an entity, another entity and a time position such that the entity is not equal to the other entity and the entity is an instance of vehicle and the other entity is an instance of vehicle and the time position is an instance of time interval and the time position is a part of the time of existence of the physical and the entity is a member of the physical and the other entity is a member of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3922-3927	If an object is an instance of vehicle controller, then there exists another object such that the other object is an instance of vehicle and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10718-10723	If a process is an instance of driving, then there exists an entity such that the entity is an instance of vehicle and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4049-4051	If a collection is an instance of Fleet, then vehicle is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19676-19681	If a process is an instance of hijacking, then there exists an entity such that the entity is an instance of vehicle and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3615-3620	If an object is an instance of headlight, then there exists a self connected object such that the self connected object is an instance of vehicle and the object is a part of the front of the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3626-3631	If an object is an instance of taillight, then there exists a self connected object such that the self connected object is an instance of vehicle and the object is a part of the back of the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3604-3609	If an object is an instance of vehicle light, then there exists another object such that the other object is an instance of vehicle and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5008-5019	If a physical is an instance of VehicleSeat, then the physical purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the third entity is an instance of vehicle and sitting is an attribute of the entity and the entity is located at the physical and the physical is located at the third entity holds during the other entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2336-2338	If a transportation device is an instance of vehicle carrier ship, then vehicle is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3309-3321	If a process is an instance of transportation service, then there exist an object, a cognitive agent,, , another process and another cognitive agent such that the cognitive agent is an agent of the process and the cognitive agent possesses the object and the cognitive agent is a customer of the other cognitive agent and the object is an instance of vehicle and the other process is an instance of transportation and the cognitive agent is an agent of the other process and the other cognitive agent is a patient of the other process and the object is an instrument for the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3355-3361	If a physical is an instance of vehicle safety device, then the physical purpose there exists an entity such that the entity is an instance of vehicle and the physical is a part of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3979-3984	If an object is an instance of vehicle window, then there exists another object such that the other object is an instance of vehicle and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12864-12872	If an object is an instance of window, then there exists another object such that the object is a part of the other object and the other object is an instance of building or the other object is an instance of room or the other object is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3648-3677	If a physical is an instance of seat belt, then the physical purpose there exist an entity, another entity and a third entity such that the third entity is an instance of vehicle and the physical is a part of the third entity and the entity is an instance of human and the third entity は the entity を contains %n{ない} and the other entity is an instance of process and the other entity prevents the occurrence of the class described by a fourth 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: