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 75897589 
The beginning of before common era is equal to negative infinity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1420214202 
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 75977597 
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 76577657 
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 1122311229 
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 36643664 
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 1119511197 
1 Metric ton(s) is equal to 2205 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 36843684 
1 Nautical mile(s) is equal to 1852 meter(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 36833683 
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 621622 
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 37363737 
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 1127911283 
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 1128911293 
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 64196422 
A real number micrometer(s) is equal to a quantity and 0.0000001 meter(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 74177419 
A real number amu(s) is equal to the real number and 1.6605402E24 gram(s) 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 