No TPTP formula. May not be expressible in strict first order. 
Merge.kif 47324732 
The number 2 argument of exponentiation is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 47604760 
The number 1 argument of greatest common divisor is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48454845 
The number 1 argument of least common multiple is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 52425242 
The number 1 argument of predecessor is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 50085008 
The number 1 argument of remainder is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 50095009 
The number 2 argument of remainder is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 30973097 
The number 1 argument of sublist function is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 30983098 
The number 2 argument of sublist function is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 52095209 
The number 1 argument of successor is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 84658465 
The number 1 argument of year is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 788788 
The number 3 argument of capacity by arrangement is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Cars.kif 31133113 
The number 2 argument of coilCount is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Communications.kif 135135 
The number 3 argument of communication satellite for area is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
QoSontology.kif 642642 
The number 2 argument of criticality level is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1817418174 
The number 2 argument of defaultMaxValue is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1815718157 
The number 2 argument of defaultMinValue is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1819118191 
The number 2 argument of defaultValue is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Media.kif 20562056 
The number 2 argument of exactCardinality is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Media.kif 20572057 
The number 3 argument of exactCardinality is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 34833483 
The number 2 argument of Fleet Size is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 99559955 
The number 3 argument of heartRate is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 51875187 
The number 2 argument of identity element is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Media.kif 21802180 
The number 2 argument of maxCardinality is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Media.kif 21812181 
The number 3 argument of maxCardinality is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 477477 
The number 2 argument of maximum capacity is an instance of integer 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 