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 | 军事时代 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Military.kif 838-838 | 军事时代 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. | Military.kif 833-833 | 军事时代 是 二元谓语 的 instance |
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 | 地缘政治区域 的 available 军事服务男性 equal 符号串 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | 地缘政治区域 的 fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量 |