No TPTP formula. May not be expressible in strict first order. 
Geography.kif 38283832 
An unit of measure is an instance of unit of measure and a real number is equal to 1 the square unit of the unit of measure(s) if and only if the real number is equal to 1 the unit of measure(s) and 1 the unit of measure(s) 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 49144916 
An integer mod another integer is equal to a third integer if and only if (the largest integer less than or equal to the integer and the other integer and the other integer and the third integer) is equal to the integer 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1304413050 
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 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 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 and the real number arc second(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 20942104 

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

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

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

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

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

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

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 15331548 

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

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

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

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 