No TPTP formula. May not be expressible in strict first order. 
Merge.kif 21112128 
A relation is an instance of total valued relation and the relation is an instance of predicate if and only if there exists a positive integer such that the relation is an instance of relation and the relation %&has the positive integer argument(s) and 
No TPTP formula. May not be expressible in strict first order. 
People.kif 253277 
The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a quantity and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the quantity is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 18561860 
A quantity is an instance of negative real number if and only if the quantity is less than 0 and the quantity is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 17751779 
A quantity is less than or equal to another quantity if and only if the quantity is equal to the other quantity or the quantity is less than the other quantity 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1642516433 

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

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

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

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 10981106 

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

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

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

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

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

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

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

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 725748 

No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 13801389 

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

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

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

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

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

No TPTP formula. May not be expressible in strict first order. 
QoSontology.kif 19321946 

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 507516 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 