Automobile - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1957-1960
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 394-394
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 396-396
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 395-395
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 397-397
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 322-322
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 247-247
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1956-1956	Automobile is a subclass of passenger vehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 836-836	Automobile is a subclass of physical system
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1955-1955	Automobile is a subclass of self powered road vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1716-1716	Automobile is an industry product type of automobile manufacturing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4969-4969	ChevroletAutomobile is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4508-4508	CommodoreAutomobile is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5121-5121	Corvette is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4912-4912	Ford car is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4866-4866	Holden Torana is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4854-4854	Mini cooper is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1970-1970	Taxicab is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9207-9207
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9206-9206
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9205-9205
No TPTP formula. May not be expressible in strict first order.	Cars.kif 727-727	A auto suspension system is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 868-868	A shock is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1237-1237	A brake system is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3140-3140	A ignition coil is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3970-3970	A steering box is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3987-3987	A steering column is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3992-3992	A steering wheel is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4139-4139	A tie rod is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28800-28800	A VehicleDoor is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3634-3634	A automobile typically has a part airbag
No TPTP formula. May not be expressible in strict first order.	Cars.kif 726-726	A automobile typically has a part auto suspension system
No TPTP formula. May not be expressible in strict first order.	Cars.kif 869-869	A automobile typically has a part shock
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1236-1236	A automobile typically has a part brake system
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3141-3141	A automobile typically has a part ignition coil

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the internal combustion engine is a part of the object and the other object is a part of the object and a third object is an instance of Crankshaft and the third object is a part of the internal combustion engine and the measure of the third object is the rotation of an entity miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2567-2583	If the measure of an object is a function quantity holds during a time position and the idle speed of an internal combustion engine is the function quantity and another object is an instance of automobile and the internal combustion engine is a part of the other object and the object is a part of the internal combustion engine, then the statement there don't exist an entity and another entity such that the entity takes place during the time position and the entity is an instance of pushing and the entity ends up at the other entity and the other entity is a part of the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 853-866	If a physical system is an instance of automobile and another physical system is an instance of automobile and an object is an instance of shock and the object is a part of the physical system and there doesn't exist another object such that the other object is an instance of shock and the other object is a part of the other physical system and the damping ratio of the physical system is a real number and the damping ratio of the other physical system is another real number, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1838-1856	If an object is an instance of clutch and another object is an instance of automobile and a third object is an instance of engine and a fourth object is an instance of gearbox and the fourth objectEAR is an instance of gear and the fourth objectEAR is a part of the fourth object and the fourth object is a part of the other object and the object is a part of the other object and the third object is a part of the other object and a process is an instance of motion and the third object is a patient of the process and device off is an attribute of the object, then there exists the process2 such that the process2 is an instance of motion and the fourth object is a patient of the process2 and the process causes the process2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1817-1836	If an object is an instance of clutch and another object is an instance of automobile and a third object is an instance of engine and a fourth object is an instance of gearbox and the fourth objectEAR is an instance of gear and the fourth objectEAR is a part of the fourth object and the fourth object is a part of the other object and the object is a part of the other object and the third object is a part of the other object and a process is an instance of motion and the third object is a patient of the process and device on is an attribute of the object, then there doesn't exist the process2 such that the process2 is an instance of motion and the fourth object is a patient of the process2 and the process causes the process2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2142-2154	If an object is an instance of engine cooling system and another object is an instance of engine and a third object is an instance of automobile and the object is a part of the third object and the other object is a part of the third object, then the object has the purpose there exists an entity such that the entity is an instance of cooling and the object is an instrument for the entity and the other object is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2730-2744	If an object is an instance of fan belt and another object is an instance of engine fan and a third object is an instance of automobile and the object is a part of the third object and the other object is a part of the third object and a process is an instance of motion and the object is a patient of the process, then the object has the purpose there exists the process2 such that the process2 is an instance of rotating and the process causes the process2 and the other object is a patient of the process2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a motion is an instance of transportation and a process is an instance of fuel and the process is a patient of the motion and the object is an instrument for the process and a third object is an instance of gas tank and the third object is a part of the other object and a fourth object is an instance of EngineCylinder and the fourth object is a part of the other object and the motion originates at the third object and the motion ends up at the fourth object and a fifth object is path along which the motion occurs, then the motion has the purpose there exists the processF such that the processF is an instance of fuel filter and the third object between on path the processF for the fourth object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a process is an instance of transportation and another process is an instance of fuel and the other process is a patient of the process and the object is an instrument for the other process, then the object has the purpose there exist an entity and another entity such that the entity is an instance of gas tank and the entity is a part of the other object and the other entity is an instance of EngineCylinder and the other entity is a part of the other object and the process originates at the entity and the process ends up at the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4049-4064	If an object is an instance of tailpipe and the objectR is an instance of transfer and an entity is an instance of exhaust and another object is an instance of automobile and the other objectES is an instance of exhaust system and the object is a part of the other object and the object is path along which the objectR occurs and the entity is a patient of the objectR, then the object has the purpose there doesn't exist a third entity such that the third entity is a part of the other object and the object before the third entity on path the other objectES during the objectR
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1292-1307	If a process is an instance of transportation and an object is an instance of wheel and another object is an instance of automobile and the object is a part of the other object and the other object is an instrument for the process and the other objectB is an instance of antilock brake and another process is an instance of decelerating and the other objectB is an instrument for the other process and the other objectB is a part of the object, then the other objectB has the purpose there exists an entity such that the entity is an instance of rotating and the entity takes place during the other process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1966-1968	If an object is an instance of automobile, then the object equipment count axle for 2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1962-1964	If an object is an instance of automobile, then the object equipment count vehicle wheel for 4

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 9711-9720	If passenger car rental is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the object is a customer of the third entity and the other entity is an instance of automobile and the entity is an instance of renting and the object possesses the other entity and the third entity is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 845-851	If a physical is an instance of shock, then the physical has the purpose there exists an entity such that the entity is an instance of automobile and the physical is a part of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2346-2380	If a physical is an instance of transmission, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity and a tenth entity such that the entity is an instance of Crankshaft and the other entity is an instance of driveshaft and the third entity is an instance of automobile and the other entity is a part of the third entity and the physical is a part of the third entity and the entity is a part of the third entity and the entity is connected to the physical and the other entity is connected to the physical and the fourth entity is an instance of rotating and the sixth entity is an instance of rotating and the seventh entity is an instance of rotating and the eighth entity is an instance of rotating and the entity is a patient of the fourth entity and the entity is a patient of the sixth entity and the other entity is a patient of the seventh entity and the other entity is a patient of the eighth entity and the fourth entity causes the seventh entity and the sixth entity causes the eighth entity and the fourth entity is not equal to the sixth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the fourth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the sixth entity and the measure of the other entity is the rotation of the ninth entity during minute duration holds during the seventh entity and the measure of the other entity is the rotation of the tenth entity during minute duration holds during the eighth entity and the ninth entity is not equal to the tenth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2325-2337	If a physical is an instance of driveshaft, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the fourth entity is an instance of automobile and the third entity is an instance of wheel and the physical is a part of the fourth entity and the third entity is a part of the fourth entity and the entity is an instance of rotating and the physical is a patient of the entity and the third entity is a patient of the other entity and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2519-2532	If a physical is an instance of engine control module, 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 automobile and the other entity is an instance of engine and the third entity is an instance of process and the fourth entity is an instance of process and the other entity is a part of the entity and the physical is a part of the entity and the third entity is located at 2 and the fourth entity is located at 2 and the third entity causes the fourth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2752-2763	If a physical is an instance of engine fan, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of automobile and the entity is an instance of cooling and the other entity is an instance of internal combustion engine and the other entity is a part of the third entity and the physical is a part of the third entity and the physical is an instrument for the entity and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2629-2645	If a physical is an instance of exhaust manifold, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of automobile and the other entity is an instance of exhaust and the third entity is an instance of EngineCylinder and the fourth entity is an instance of muffler and the fifth entity is an instance of transfer and the physical is a part of the entity and the third entity is a part of the entity and the fourth entity is a part of the entity and the fifth entity originates at the third entity and the fifth entity ends up at the fourth entity and the other entity is a patient of the fifth entity and the other entity is an instrument for the fifth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3286-3295	If a physical is an instance of manifold absolute pressure sensor, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of engine control module and the other entity is an instance of automobile and the physical is a part of the other entity and the entity is a part of the other entity and the physical is connected to the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2711-2728	If a physical is an instance of fan belt, 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 pulley and the other entity is an instance of pulley and the entity is not equal to the other entity and the third entity is an instance of Crankshaft and the fourth entity is an instance of automobile and the entity is a part of the fourth entity and the other entity is a part of the fourth entity and the third entity is a part of the fourth entity and the physical is a part of the fourth entity and the third entity is connected to the entity and the entity is connected to the physical and the physical is connected to the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2540-2555	If a physical is an instance of gas pedal, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of pushing and the other entity is an instance of transfer and the third entity is an instance of fuel and the fourth entity is an instance of engine and the fifth entity is an instance of automobile and the physical is a part of the fifth entity and the fourth entity is a part of the fifth entity and the entity ends up at the physical and the other entity ends up at the fourth entity and the third entity is a patient of the other entity and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3182-3193	If a physical is an instance of ignition control module, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of automobile and the entity is an instance of spark and the third entity is an instance of computer process and the physical is a part of the other entity and the third entity is located at 2 and the entity is located at 2 and the third entity causes the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2690-2703	If a physical is an instance of intake valve, 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 automobile and the other entity is an instance of fuel vapor and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the physical is a part of the entity and the third entity is a part of the entity and the other entity is a patient of the fourth entity and the physical is path along which the fourth entity occurs and the fourth entity ends up at the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4697-4708	If a physical is an instance of vehicle interior, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of automobile and the other entity is an instance of engine and the other entity is a part of the entity and the physical is not a part of the other entity and the physical is a part of the entity and the physical is inside to the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3821-3837	If a physical is an instance of positive crankcase ventilation valve, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of Crankcase and the other entity is an instance of fuel and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the fifth entity is an instance of automobile and the entity is a part of the fifth entity and the third entity is a part of the fifth entity and the physical is a part of the fifth entity and the fourth entity originates at the entity and the fourth entity ends up at the third entity and the object transferred in the fourth entity is the other entity and the physical is path along which the fourth entity occurs
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5049-5060	If a physical is an instance of auto seat, then the physical has the 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 automobile 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.	Hotel.kif 2010-2028	If a process is an instance of shuttle, then there exist a list, an object and an agent such that the agent is an agent of the process and the agent possesses the object and the object is an instance of automobile and the list is an instance of list and for all an entity if the entity is a member of the list, then the entity is an instance of PostalPlace and there exists another process such that the other process is an instance of transportation and the agent is an agent of the other process and the object is an instrument for the other process and the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4672-4683	If a physical is an instance of cargo rack, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transfer and a third entity is a patient of the entity and the other entity is an instance of automobile and the physical is outside to the other entity and the third entity meets the physical and the physical is a part of the other entity and the other entity is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3636-3660	If a physical is an instance of airbag, 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 automobile and the physical is a part of the entity and the other entity is an instance of human and the entity contains the other entity and the third entity is an instance of impacting and the entity is a patient of the third entity and the fourth entity is an instance of inflating and the physical is a patient of the fourth entity and the third entity causes the fourth entity and the fourth entity hinders the class described by a fifth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3997-4015	If a physical is an instance of SteeringColumnLock, 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 steering column and the third entity is an instance of automobile and the entity is a component of the third entity and the physical is a part of the entity and the other entity is an instance of Protecting and the physical is an instrument for the other entity and locked is an attribute of the physical holds during the fourth entity decreases likelihood of there exists a fifth entity such that the fifth entity is an instance of stealing and the third entity is a patient of the fifth entity holds during the 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: