No TPTP formula. May not be expressible in strict first order. 
Merge.kif 77947802 
An object is larger than another object if and only if for all a real number, another real number and an unit of measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1363213638 
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. 
Midlevelontology.kif 1335313358 
The measure of a physical is a real number Ounce(s) if and only if the measure of the physical is the real number and 16.0 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 20922106 

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

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

No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 11861201 

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

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

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

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

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

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

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

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

No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 11721184 

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

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1717017191 
 If a process is an instance of accelerating and an agent is an agent of the process,
 then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the other real number is greater than the real number or the fourth real number is greater than the third real number

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 