No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1345213458 
The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205.0 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 378380 
The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 397399 
The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 20972111 

No TPTP formula. May not be expressible in strict first order. 
ArabicCulture.kif 204223 

No TPTP formula. May not be expressible in strict first order. 
Geography.kif 666676 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1341313422 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1342413433 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 50755086 

No TPTP formula. May not be expressible in strict first order. 
Weather.kif 14861497 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 50575062 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 30953109 

No TPTP formula. May not be expressible in strict first order. 
Weather.kif 15321547 

No TPTP formula. May not be expressible in strict first order. 
Geography.kif 21832201 

No TPTP formula. May not be expressible in strict first order. 
Geography.kif 21432157 

No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 22432253 

No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 22552268 

No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 538548 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1774817773 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 27472760 
 If flat 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 height of the self connected object is the real number the unit of measure(s) and the height of the other self connected object is the other real number the unit of measure(s) and the height of the third self connected object is the third real number the unit of measure(s) and the other real number is greater than 2.0 and the real number and the third real number is greater than 2.0 and the real number

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 27682781 
 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. 
Midlevelontology.kif 3105431062 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 76367641 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 49124917 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 51925194 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 