No TPTP formula. May not be expressible in strict first order. | Food.kif 1928-1937 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | 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 |