No TPTP formula. May not be expressible in strict first order. 
Merge.kif 23082325 
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 a number is equal to the number of instances in the class described by a process and the number and 1000 is equal to a quantity and another number is equal to the number of instances in the class described by another process and the other number and the quantity is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 19972001 
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 19111915 
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 1598015988 

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

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

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

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

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

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

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 253262 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 184193 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 194205 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 151159 

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

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

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 