FitForMilitaryServiceMaleFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 889-892 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 887-887 | 适合兵役的男性 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Military.kif 886-886 | 适合兵役的男性 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Military.kif 888-888 | 适合兵役的男性 的 range 是 整数 的实例 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1033-1033 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1032-1032 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1031-1031 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24080-24080 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24079-24079 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24078-24078 |
statement |
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | 地缘政治区域 的 fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量 |