No TPTP formula. May not be expressible in strict first order. 
Military.kif 867876 
The available for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 75907590 
The beginning of before common era is equal to negative infinity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1304313043 
The number of instances in continent is equal to 7 
No TPTP formula. May not be expressible in strict first order. 
Media.kif 20052005 
The number of instances in NativityMagi is equal to 3 
No TPTP formula. May not be expressible in strict first order. 
People.kif 462472 
The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by a symbolic string 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 75987598 
The end of common era is equal to positive infinity 
No TPTP formula. May not be expressible in strict first order. 
Military.kif 890901 
The fit for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 69546954 
0.0 Angular degree(s) is equal to 360.0 angular degree(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 382382 
1 Angular degree(s) is equal to 60 arc minute(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 401401 
1 Arc minute(s) is equal to 60 arc second(s) 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1122811234 
1 Cubic foot(s) is equal to 1 foot length(s) and 1 foot length(s) and 1 foot length(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 36773677 
1 Fathom(s) is equal to 6 foot length(s) 
No TPTP formula. May not be expressible in strict first order. 
Economy.kif 20122012 
1 Kilowatt hour(s) is equal to 3.6 1 million joules(s) 
No TPTP formula. May not be expressible in strict first order. 
Economy.kif 20132013 
1 Kilowatt hour(s) is equal to 3600000 joule(s) 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1120011202 
1 Metric ton(s) is equal to 2205 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 36973697 
1 Nautical mile(s) is equal to 1852 meter(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 36963696 
1 Nautical mile(s) is equal to 6076.1 foot length(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 624625 
1 Square kilometer(s) is equal to 1 1 thousand meters(s) and 1 1 thousand meters(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 37493750 
1 Square meter(s) is equal to 1 meter(s) and 1 meter(s) 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1128411288 
1 Square mile(s) is equal to the per of 1 mile(s) and 1 mile(s) 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1129411298 
1 Square yard(s) is equal to the per of 1 yard length(s) and 1 yard length(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 402402 
A real number arc minute(s) is equal to 60 and the real number arc second(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 383383 
A real number angular degree(s) is equal to 60 and the real number arc minute(s) 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 67286730 
A real number amu(s) is equal to the real number and 1.6605402E24 gram(s) 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 67506752 
A real number angstrom(s) is equal to the real number and 1.0E10 meter(s) 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 