militaryAge |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 834-836 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 837-837 | The number 1 argument of military age is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Military.kif 838-838 | The number 2 argument of military age is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Military.kif 833-833 | military age is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1715-1715 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1714-1714 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1713-1713 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37535-37535 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37534-37534 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37533-37533 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Military.kif 852-860 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 840-850 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Military.kif 872-881 | 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. | 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 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string |