No TPTP formula. May not be expressible in strict first order. | Merge.kif 16656-16656 | 军事力量 是 政治机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 792-792 | 两栖侦察部队 是 军事力量 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2340-2340 | 民政 是 军事力量 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16666-16666 | 军事组织 是 军事力量 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16672-16672 | 辅助的军事组织 是 军事力量 的 subclass |