No TPTP formula. May not be expressible in strict first order.	Merge.kif 11731-11742	If a process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 617-627	If an object is an instance of brake pad and an entity is an instance of brake rotor and a process is an instance of rotating and the entity is a patient of the process and another process is an instance of friction and the object is a resource for the other process and the entity is a patient of the other process, then the object is not a patient of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 639-649	If an object is an instance of brake shoe and an entity is an instance of brake drum and a process is an instance of rotating and the entity is a patient of the process and another process is an instance of friction and the object is a resource for the other process and the entity is a patient of the other process, then the object is not a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11905-11916	If a process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	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.	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.	Mid-level-ontology.kif 5489-5498	If a process is an instance of concealing and an entity is a patient of the process, then the process has the purpose there doesn't exist another entity such that the other entity is an instance of seeing and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22348-22356	If a collection is an instance of convoy and a physical is a member of the collection, then there exists a process such that the process is an instance of driving and the time of existence of the collection overlaps the time of existence of the process and the physical is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	If an object is an instance of crankshaft and another object is an instance of intermittent combustion engine and the other object is a part of the object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of rotating and the object is a patient of the other entity and the other entity is located at the other object and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	If a process is an instance of cricothyrotomy and an entity is a patient of the process, then the process has the purpose there exists another entity such that the other entity is an instance of impairment in breathing and the entity is a patient of the other entity holds during immediately before the time of existence of the process and there exists the other entity such that the other entity is an instance of impairment in breathing and the entity is a patient of the other entity doesn't hold during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 980-992	If a process is an instance of crushing and an entity is a patient of the process and the entity is an instance of object, then there exist another process and a third process such that the other process is an instance of breaking and the process causes the other process and the other process is a subprocess of the third process and the third process is an instance of shape change and the entity is a patient of the other process and the entity is a patient of the third process
No TPTP formula. May not be expressible in strict first order.	Food.kif 994-1003	If a process is an instance of crushing and an entity is a patient of the process and the entity is an instance of object, then there exists another process such that the other process is a result of the process and the other process is an instance of shape change and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	If a process is an instance of curdling and a substance is a patient of the process and the substance is an instance of colloid, then there exist another process and another substance such that the other process is an instance of separating and the other process is a subprocess of the process and the substance is a patient of the other process and the other substance is a result of the other process and the other substance is a piece of the substance and the other substance is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3226-3247	If a process is an instance of curdling milk and a physical is an instance of milk and the physical is a patient of the process, then there exist a real number, another process,, , an entity and another entity such that the measure of the physical is the real number PH value(s) and the other process is an instance of decreasing and the other process is a subprocess of the process and the real number is a patient of the other process and the real number is equal to the entity holds during the beginning of the time of existence of the other process and the real number is equal to the other entity holds during the end of the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Food.kif 96-105	If a process is an instance of curing food and an entity is an instance of food and the entity is a patient of the process, then there exists another process such that the other process is an instance of drying and the other process is a subprocess of the process and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1513-1524	If an organization is an instance of government cabinet and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization has the purpose there exist an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and the government of the geopolitical area is a leader of the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of financial transaction , then there exist a symbolic string and an entity such that the number of instances in the class described by the symbolic string is equal to number of items purchased in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then the number of instances in there exist an entity, another entity and a third entity such that the class described by the entity and the number of instances in the collection is equal to number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then there exist a symbolic string, an entity,, , another entity and the symbolic string such that the number of instances in the class described by the symbolic string is equal to number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15887-15900	If a process is an instance of commenting and an entity is an instance of process and the entity is a patient of the process, then there exist an agent, another process and a third process such that the agent is an instance of agent and the other process is an instance of speaking and the third process is an instance of looking and the agent is an agent of the other process and the agent is an agent of the third process and the entity is a patient of the third process and the other process includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12212-12217	If a process is an instance of confining and a cognitive agent is a patient of the process and the cognitive agent is an instance of human, then the cognitive agent doesn't desire the cognitive agent is a patient of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3543-3554	If a bank card is an instance of debit card and an agent possesses the bank card and a process is an instance of financial transaction and the bank card is an instrument for the process, then there exist a symbolic string and another process such that the bank card is a pin of the symbolic string and the other process is an instance of entering a PIN and the symbolic string is a patient of the other process and the agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 137-146	If an entity is an instance of check and a process is an instance of processingA check and the entity is a patient of the process, then there exists another process such that the other process is an instance of depositingA check and the entity is a patient of the other process and the other process exists during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3572-3581	If a process is an instance of verifying card code and a content bearing object is a patient of the process and a bank card is a card code of the content bearing object, then there exists another process such that the other process is an instance of decoding and the other process is a subprocess of the process and the content bearing object is a patient of the other process
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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