TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2089-2092
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.	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.	Transportation.kif 2088-2088	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 2087-2087	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 1830-1830	Automobile is an industry product type of automobile manufacturing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5027-5027	Chevrolet automobile is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4566-4566	Commodore automobile is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5179-5179	Corvette is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4970-4970	Ford car is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4924-4924	Holden Torana is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4912-4912	Mini cooper is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2102-2102	Taxicab is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9199-9199	Taxicab is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9198-9198	Taxicab is a subclass of automobile
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9197-9197	Taxicab is a subclass of automobile
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 3201-3201	A ignition coil is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4028-4028	A steering box is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4045-4045	A steering column is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4050-4050	A steering wheel is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4197-4197	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 31331-31331	A vehicle door is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3691-3691	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 3202-3202	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 2569-2587	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 2551-2567	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 1822-1840	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 1801-1820	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 2126-2138	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 2714-2728	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 engine cylinder 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 processF is between the third object and the fourth object on path the fifth 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 engine cylinder 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 4107-4122	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 2098-2100	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 2094-2096	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 2330-2364	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 2309-2321	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 2503-2516	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 the physical and the fourth entity is located at the other entity and the third entity causes the fourth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2736-2747	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 2613-2629	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 engine cylinder 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 3347-3356	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 2695-2712	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 2524-2539	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 3243-3254	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 the other entity and the entity is located at the other entity and the third entity causes the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2674-2687	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 4755-4766	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 3879-3895	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 5107-5118	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 2046-2064	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 postal place 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 4730-4741	If a physical is an instance of cargo rack, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the 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 3693-3717	If a physical is an instance of airbag, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth 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 the fifth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4055-4073	If a physical is an instance of steering column lock, 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 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: