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.	Merge.kif 11895-11899	If a process is an instance of buying and an agent is an agent of the process, then the process ends up at the agent
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.	FinancialOntology.kif 2270-2278	If a bond is an instance of bond and an interest is a coupon interest of the bond and the bondHolder possesses the bond, then there exist a time duration and a process such that the account of the bond is periodic payment the interest for the time duration and the process ends up at the bondHolder
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2355	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a real number an unit of measure(s) is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset is interest earned another real number the unit of measure(s) for the time interval and a third real number is equal to (the real number and the other real number), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the account of the financial asset and the third real number the unit of measure(s) is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Military.kif 108-122	If a collection is an instance of convoy and an agent is a member of the collection and another agent is a member of the collection and the agent is not equal to the other agent, then there exist a process, another process and an entity such that the process is an instance of transportation and the other process is an instance of transportation and the agent is an agent of the process and the other agent is an agent of the other process and the process ends up at the entity and the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	If a financial account is an instance of certificate of deposit and a day is a maturity date of the financial account and a process is an instance of withdrawal and the process originates at the currency of the financial account and date of the process is another day and the end of the other day happens before the beginning of the day, then there exists another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23583-23589	If a process is an instance of driving and another process is a subprocess of the process and the other process is an instance of transportation and the process ends up at an entity, then the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1275-1296	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 340-351	If a process is an instance of depositingA check and a check is a patient of the process and the check is an instance of check and a financial account is a check account of the check and value of the check is a currency measure, then there exists a financial transaction such that the financial transaction is an instance of deposit and the financial transaction ends up at the currency of the financial account and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9964-9976	If a process is an instance of swelling and an agent experiences the process, then there exist a motion, an object and another object such that the motion is an instance of transfer and the other object is an instance of liquid and the object is an instance of body part and the object is a part of the agent and the motion ends up at the object and the other object moves during the motion and the motion is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	If a process is an instance of evacuating and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of transportation and the other process ends up at the object and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process or the other processA is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2501-2511	If a process is an instance of evacuating and the process originates at an object and the process ends up at an entity, then there exists another process such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process ends up at the entity and the other process originates at the object
No TPTP formula. May not be expressible in strict first order.	Food.kif 425-435	If a substance is an instance of food and decaf is an attribute of the substance and another substance is a piece of the substance and the other substance is an instance of caffeine, then there exists a process such that the process is an instance of removing and the process ends up at the substance and the other substance is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 171-184	If a process is an instance of four stroke intake and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at the object, then there exist the processV and another process such that the other process is an instance of gas motion and the processV is an instance of fuel vapor and the other process is a subprocess of the process and the other process ends up at the hole and the processV is a patient of the other process
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.	Medicine.kif 1916-1929	If a process is an instance of GERD and an agent experiences the process, then there exist another process, an object and another object such that the other process is an instance of transfer and the other process originates at the object and the object is an instance of stomach and the other object is an instance of esophagus and the other process ends up at the other object and the object is a part of the agent and the other object is a part of the agent and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11781-11785	If a process is an instance of getting and an agent is an agent of the process, then the process ends up at the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25093-25114	If a telecom number is an instance of hotline and the telecom number is the telephone number of an agent and the agent is an instance of organization, then the telecom number has the purpose there exists an entity such that the entity is an instance of telephoning and the entity ends up at the agent and the statement there exists another entity such that the other entity is an instance of communication and the telecom number is an instrument for the other entity and the beginning of the time of existence of the other entity is equal to the beginning of immediately after the time of existence of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11368-11385	If a physical is an instance of myocardial infarction and an object is an instance of heart and the physical is located at the object, then there exists another object such that the other object is an instance of muscle and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11915-11932	If a physical is an instance of stroke and an object is an instance of brain and the physical is located at the object, then there exists another object such that the other object is an instance of nerve cell and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17352-17368	If a process is an instance of immigrating and an agent is an agent of the process, then there exist a geopolitical area and another geopolitical area such that the geopolitical area is an instance of nation and the other geopolitical area is an instance of nation and the process originates at the geopolitical area and the process ends up at the other geopolitical area and the geopolitical area is not equal to the other geopolitical area and the agent is a member of the citizenry of the geopolitical area and the agent is not a member of the citizenry of the other geopolitical area and the process has the purpose the agent lives in the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4135-4145	If a transfer is an instance of Intubation and an object is an instance of tube and the object transferred in the transfer is the object and an agent experiences the transfer, then there exists the objectH such that the objectH is an instance of trachea and the objectH is a part of the agent and the transfer ends up at the objectH
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1179-1187	If a process is an instance of intraosseous infusion and an object is a patient of the process, then there exists another object such that the other object is an instance of bone marrow and the process ends up at the other object and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4105-4117	If an object is an instance of InvasiveVentilator and a process is an instance of breathing and an agent experiences the process and the object is an instrument for the process, then there exists another process such that the other process is an instance of Intubation and the other process ends up at the agent and the time of existence of the other process happens earlier than the time of existence of the 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