No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	If a financial transaction is an instance of withdrawal and a financial account is an instance of financial account and the financial transaction originates at the financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4697-4703	If antarctic circumpolar current originates at an object and antarctic circumpolar current ends up at a physical, then the distance between the object and the physical is 21000.0 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11082-11092	If an object is path along which a motion occurs and the motion originates at another object and the motion ends up at a third object and the length of the object is a real number an unit of measure(s) and the distance between the other object and the third object is another real number the unit of measure(s) and the real number is not greater than the other real number and a fourth object is a part of the object, then the fourth object is between the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	If a cognitive agent sells a kind of entity for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the price of a kind of entity from the cognitive agent according to a pricing scheme is another real number the unit of measure(s) and the pricing scheme is valid for a kind of agent and another entity is an instance of the kind of entity and a process is an instance of buying and another agent is an immediate instance of a kind of agent and the other agent is an agent of the process and the process originates at the cognitive agent and the other real number is less than the real number, then the statement the real number is a transaction amount of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4109-4111	If a process originates at an object, then the process is partly located at the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7988-7996	If a process originates at an object, then the place where the process was at the beginning of the time of existence of the process is located at the place where the object was at the beginning of the time of existence of the object

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