TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1939-1942
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-ImageNet.kif 396-396
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 398-398
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 1938-1938	Automobile is a subclass of passenger vehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 827-827	Automobile is a subclass of physical system
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1937-1937	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 1709-1709	Automobile is an industry product type of automobile manufacturing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4947-4947	ChevroletAutomobile is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4486-4486	CommodoreAutomobile is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5099-5099	Corvette is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4890-4890	Ford car is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4844-4844	Holden Torana is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4832-4832	Mini cooper is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1952-1952	Taxicab is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9215-9215
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9214-9214
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9213-9213
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 859-859	A shock is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1242-1242	A brake system is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3115-3115	A ignition coil is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3941-3941	A steering box is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3958-3958	A steering column is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3963-3963	A steering wheel is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4110-4110	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 27596-27596	A VehicleDoor is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3605-3605	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 860-860	A automobile typically has a part shock
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1241-1241	A automobile typically has a part brake system
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3116-3116	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 2572-2588	If the idle speed of an internal combustion engine is the rotation of a rotating 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 during the time duration holds during the time of existence of the process, then the statement the entity is greater than the rotating has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2554-2570	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 844-857	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 1834-1852	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 1813-1832	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 2129-2141	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 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 2715-2729	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 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 1061-1081	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 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 1042-1059	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 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 4020-4035	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 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 1293-1308	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 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 1948-1950	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 1944-1946	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 9634-9643	If passenger car rental is an attribute of an object, then the object 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 836-842	If a physical is an instance of shock, then the physical 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 2333-2367	If a physical is an instance of transmission, then the physical 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 2312-2324	If a physical is an instance of driveshaft, then the physical 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 2506-2519	If a physical is an instance of engine control module, then the physical 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 2737-2748	If a physical is an instance of engine fan, then the physical 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 2614-2630	If a physical is an instance of exhaust manifold, then the physical 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 3261-3270	If a physical is an instance of manifold absolute pressure sensor, then the physical 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 2696-2713	If a physical is an instance of fan belt, then the physical 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 2527-2542	If a physical is an instance of gas pedal, then the physical 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 3157-3168	If a physical is an instance of ignition control module, then the physical 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 2675-2688	If a physical is an instance of intake valve, then the physical 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 4675-4686	If a physical is an instance of vehicle interior, then the physical 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 3792-3808	If a physical is an instance of positive crankcase ventilation valve, then the physical 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 5027-5038	If a physical is an instance of auto seat, 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 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 1983-2001	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 4650-4661	If a physical is an instance of cargo rack, then the physical 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 3607-3631	If a physical is an instance of airbag, then the physical 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 は the other entity を contains %n{ない} 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 3968-3986	If a physical is an instance of SteeringColumnLock, then the physical purpose there exist an entity, another entity and a third 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 a 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: