No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48204820 
The number 2 argument of exponentiation is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48484848 
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 49334933 
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 53345334 
The number 1 argument of predecessor is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 50965096 
The number 1 argument of remainder is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 50975097 
The number 2 argument of remainder is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 31613161 
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 31623162 
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 53015301 
The number 1 argument of successor is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 85908590 
The number 1 argument of year is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Weather.kif 30763076 
The number 2 argument of airQualityIndex is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1040610406 
The number 3 argument of breathingRate 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. 
VirusProteinAndCellPart.kif 698698 
The number 2 argument of chromosome number is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
VirusProteinAndCellPart.kif 824824 
The number 3 argument of chromosome set count is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Cars.kif 31203120 
The number 2 argument of coil count 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 644644 
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 1851218512 
The number 2 argument of default max value is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1849518495 
The number 2 argument of default min value is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1852918529 
The number 2 argument of default value is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Media.kif 20702070 
The number 2 argument of exact cardinality is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Media.kif 20712071 
The number 3 argument of exact cardinality is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 35153515 
The number 2 argument of Fleet Size is an instance of integer 
No TPTP formula. May not be expressible in strict first order. 
VirusProteinAndCellPart.kif 789789 
The number 2 argument of haploid number is an instance of integer 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 