No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17427-17439	If a process is an instance of deboarding and an agent is an agent of the process and an entity is a patient of the process, then the agent is onboard the entity holds during the beginning of the time of existence of the process and not the agent is onboard the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17421-17425	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.	Merge.kif 13933-13941	If a process is an instance of boiling and an object is a patient of the process, then there exists another object such that the other object is a part of the object and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13839	If a process is an instance of boiling and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the entity is a patient of the process and the measure of the entity is another real number the unit of measure(s) holds during the time of existence of the process and the unit of measure is an instance of unit of temperature, then the other real number is greater than or equal to the real number
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.	UXExperimentalTerms.kif 3239-3259	If a collection is an instance of collection and a real number is an instance of currency measure and an integer is an instance of real number and the real number is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string, then the average price of the collection is equal to the real number and the integer
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2397-2406	If a financial account is an instance of secured bond and a collateral is a secured by of the financial account and an agent possesses the financial account and a process is an instance of financial default and the financial account is a patient of the process, then the agent possesses the collateral holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	If a process is an instance of catering and an agent is an agent of the process and the process ends up at the processUST and the agent is located at an object and the agent is a customer of the processUST and there exist another process, an entity and a third process such that the other process is an instance of cooking and the agent is an agent of the other process and the entity is a result of the other process and the entity is a patient of the process and the third process is an instance of eating and the processUST is an agent of the third process and the third process is located at another object, then the object is not equal to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23768-23779	If a process is an instance of causing happiness and an entity is a patient of the process, then happiness is not an attribute of the entity holds during the beginning of the time of existence of the process and happiness is an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23789-23800	If a process is an instance of causing unhappiness and an entity is a patient of the process, then unhappiness is not an attribute of the entity holds during the beginning of the time of existence of the process and unhappiness is an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	If a process is an instance of checking vitals and a cognitive agent is an agent of the process and an object is a patient of the process and a heart is an instance of heart and the heart is a part of the object and a lung is an instance of lung and the lung is a part of the object and the systolic blood pressure of the object is an entity and the diastolic blood pressure of the object is another entity and the measure of the object is a third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of an integer beats per the time of existence of the process and the lung breathes at a rate of another integer breaths per the time of existence of the process, then the cognitive agent knows the systolic blood pressure of the object is the entity and the diastolic blood pressure of the object is the other entity and the measure of the object is the third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of the integer beats per the time of existence of the process and the lung breathes at a rate of the other integer breaths per the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3076-3094	If a process is an instance of churning butter and an entity is an instance of emulsion and the entity is a patient of the process, then there exist another entity and a third entity such that the entity is equal to the other entity and the other entity is an instance of milk holds during the beginning of the time of existence of the process and the entity is equal to the third entity and the third entity is an instance of butter holds during the end of the time of existence of the process
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 29758-29765	If a process is an instance of covering and an entity is a patient of the process and an object is an instrument for the process, then the object covers the entity holds during immediately after the time of existence of the process
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.	Medicine.kif 754-765	If a process is an instance of cricothyrotomy and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of hole and a third entity is equal to the host of the hole the other entity and the third entity is an instance of throat and the third entity is a part of the entity holds during the end of 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
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