No TPTP formula. May not be expressible in strict first order. 
Merge.kif 84908490 
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 1522715227 
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 29062906 
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 48804880 
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 1412714127 
The number 2 argument of periodical issue is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 88708870 
The number 1 argument of QuarterFn is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 85688568 
The number 1 argument of second is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1408214082 
The number 2 argument of series volume is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 88528852 
The number 1 argument of WeekFn is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Economy.kif 22542254 
The number 3 argument of agricultural product type by rank is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1352613526 
The number 2 argument of atomic number is an instance of positive integer 
No TPTP formula. May not be expressible in strict first order. 
QoSontology.kif 12141214 
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 207207 
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 229229 
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 2116921169 
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 23352335 
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 25132513 
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 25012501 
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 63606360 
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 26302630 
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 27062706 
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 26942694 
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 15991599 
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 740740 
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 719719 
The number 2 argument of minimum replications is an instance of positive integer 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 