No TPTP formula. May not be expressible in strict first order.	Merge.kif 8701-8703	If an entity is an instance of the second a positive integer, then the positive integer is less than 60
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3119-3143	If a process is an instance of butterfly spread, then there exist a financial instrument, another financial instrument,, , a third financial instrument,, , a fourth financial instrument,, , a real number,, , another real number,, , a third real number,, , a fourth real number and an unit of measure such that the financial instrument is an instance of call option and the other financial instrument is an instance of call option and the third financial instrument is an instance of call option and the fourth financial instrument is an instance of call option and the financial instrument is a subprocess of the process and the other financial instrument is a subprocess of the process and the third financial instrument is a subprocess of the process and the fourth financial instrument is a subprocess of the process and the unit of measure is an instance of unit of currency and the real number the unit of measure(s) is a strike price of the financial instrument and the other real number the unit of measure(s) is a strike price of the other financial instrument and the third real number the unit of measure(s) is a strike price of the third financial instrument and the fourth real number the unit of measure(s) is a strike price of the fourth financial instrument and the real number is less than the other real number and the real number is less than the third real number and the fourth real number is greater than the other real number and the fourth real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21870-21876	If a physical is an instance of hand grenade, then there exists a real number such that the measure of the physical is the real number pound mass(s) and the real number is less than 10.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 610-617	If a radiating is an instance of X ray radiation, then there exists a real number such that the wavelength of the radiating is the real number nanometer(s) and the real number is greater than or equal to 0.01 and 10.0 is less than the real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1234-1238	If the oxygen saturation of a human is a real number percent, then the real number is greater than 0.0 and the real number is less than 100.0
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2574-2580	If an agreement the attribute conventional option, then there exist a real number and a time interval such that the time interval is an agreement period of the agreement and duration of the time interval is the real number month duration(s) and the real number is less than 39
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2558-2564	If an agreement the attribute conventional option, then there exist a real number and a time interval such that the time interval is an agreement period of the agreement and duration of the time interval is the real number month duration(s) and the real number is less than 9

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