No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2803-2816	If long and thin is an attribute of a self connected object, then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31138-31146	If circumfrence a circle and a length measure, then there exist a real number and an unit of measure such that the diameter of the circle is the real number the unit of measure(s) and the real number and 3.14 the unit of measure(s) is equal to the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7669-7674	If the diameter of a circle is a length measure, then there exist a real number and an unit of measure such that the radius of the circle is the real number the unit of measure(s) and the real number and 2 the unit of measure(s) is equal to the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4952-4957	If the diameter of a circle is equal to a real number an unit of measure(s), then there exists another real number such that the radius of the circle is equal to the other real number the unit of measure(s) and the other real number and 2.0 is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5225-5227	If the squareRoot of a real number is equal to another real number, then the other real number and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3877-3883	If a physical quantity is equal to a real number nautical mile(s), then the physical quantity is equal to the real number and 1.151 mile(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3869-3875	If a physical quantity is equal to a real number nautical mile(s), then the physical quantity is equal to the real number and 1.852 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2016-2018	If a physical quantity is equal to a real number joule(s), then the physical quantity is equal to 0.0002778 and the real number watt(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2011-2013	If a physical quantity is equal to a real number kilowatt hour(s), then the physical quantity is equal to 3600000.0 and the real number joule(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13683-13687	If a real number is equal to 1 and the real number, then the real number millennium duration(s) is equal to the real number and 1000 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3912-3919	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 1.151 mile(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3894-3901	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 1.852 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3885-3892	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 1852.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3903-3910	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 6076.1 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 625-631	If a real number is equal to 1.0 and the real number, then the real number square kilometer(s) is equal to the real number and 1000000.0 square meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19064-19068	If a real number is equal to 1 and the real number, then the real number century duration(s) is equal to the real number and 100 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8759-8763	If a real number is equal to 1 and the real number, then the real number decade duration(s) is equal to the real number and 10 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3844-3848	If a real number is equal to 1.0 and the real number, then the real number fathom(s) is equal to the real number and 6.0 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13618-13622	If a real number is equal to 1.0 and the real number, then the real number long ton(s) is equal to the real number and 2240.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19083-19089	If a real number is equal to 1.0 and the real number, then the real number nanometer(s) is equal to the real number and 0.000000001 meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13668-13672	If a real number is equal to 1.0 and the real number, then the real number registry ton(s) is equal to the real number and 100.0 cubic foot(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13591-13595	If a real number is equal to 1.0 and the real number, then the real number ton mass(s) is equal to the real number and 2205.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19073-19077	If a real number is equal to 1.0 and the real number, then the real number yard length(s) is equal to 3.0 and the real number foot length(s)
No TPTP formula. May not be expressible in strict first order.	Food.kif 770-781	If an object is an instance of Lungo, then there exist another object and a real number such that the other object is an instance of espresso and the other object is a part of the object and the measure of the other object is the real number liter(s) and the real number is an instance of real number and the measure of the object is the real number and 2 liter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6902-6906	If a real number is an instance of real number, then the real number horsepower(s) is equal to the real number and 746 watt(s)
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