No TPTP formula. May not be expressible in strict first order. 
Merge.kif 46374637 
The number 2 argument of exponentiation is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 46654665 
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 47384738 
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 50575057 
The number 1 argument of predecessor is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48904890 
The number 1 argument of remainder is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48914891 
The number 2 argument of remainder is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 30543054 
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 30553055 
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 50245024 
The number 1 argument of successor is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 80298029 
The number 1 argument of year is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 761761 
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 30883088 
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 1710617106 
The number 2 argument of defaultMaxValue is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1708917089 
The number 2 argument of defaultMinValue is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1712217122 
The number 2 argument of defaultValue is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Media.kif 20722072 
The number 2 argument of exactCardinality is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Media.kif 20732073 
The number 3 argument of exactCardinality is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 40614061 
The number 2 argument of Fleet Size is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 50025002 
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 21902190 
The number 2 argument of maxCardinality is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Media.kif 21912191 
The number 3 argument of maxCardinality is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 453453 
The number 2 argument of maximum capacity is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1707217072 
The number 2 argument of maxValue is an instance of integer 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 