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 | 每年达到军龄的男性 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Military.kif 925-925 | 每年达到军龄的男性 的 2 数量 是 年 的 instance |
No TPTP formula. May not be expressible in strict first order. | Military.kif 923-923 | 每年达到军龄的男性 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Military.kif 926-926 | 每年达到军龄的男性 的 range 是 整数 的实例 |
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 | 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量 |