ReachingMilitaryAgeAnnuallyMaleFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 927-930 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 924-924 | The number 1 argument of reaching military age annually male is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Military.kif 925-925 | The number 2 argument of reaching military age annually male is an instance of year |
No TPTP formula. May not be expressible in strict first order. | Military.kif 923-923 | Reaching military age annually male is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Military.kif 926-926 | The range of reaching military age annually male is an instance of integer |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2103-2103 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2102-2102 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2101-2101 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48842-48842 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48841-48841 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48840-48840 |
statement |
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 |