No TPTP formula. May not be expressible in strict first order. 
Merge.kif 86568656 
The number 1 argument of day is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1548715487 
The number 2 argument of edition is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 31513151 
The number 2 argument of list order is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 50885088 
The number 2 argument of log is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1214712147 
The number 2 argument of periodical issue is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1210212102 
The number 2 argument of series volume is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 33293329 
The number 2 argument of account number is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1362113621 
The number 2 argument of atomic number is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 33463346 
The number 2 argument of check number is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
QoSontology.kif 12051205 
The number 2 argument of data stream slack is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 228228 
The number 2 argument of domain is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 257257 
The number 2 argument of domain subclass is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1907819078 
The number 2 argument of electron number is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Economy.kif 23282328 
The number 3 argument of export commodity type by rank is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Economy.kif 25062506 
The number 3 argument of export partner by rank is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Economy.kif 24942494 
The number 3 argument of export partner by rank in period is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 63306330 
The number 2 argument of human capacity is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Economy.kif 26232623 
The number 3 argument of import commodity type by rank is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Economy.kif 26992699 
The number 3 argument of import partner by rank is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Economy.kif 26872687 
The number 3 argument of import partner by rank in period is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Economy.kif 15921592 
The number 3 argument of industry rank by output is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
QoSontology.kif 732732 
The number 2 argument of maximum replications is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
QoSontology.kif 711711 
The number 2 argument of minimum replications is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
QoSontology.kif 10051005 
The number 2 argument of number ofCP us is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Dining.kif 687687 
The number 1 argument of numberOfCustomers is an instance of positive integer 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 