No TPTP formula. May not be expressible in strict first order. | Merge.kif 16727-16727 | 军事力量 是 政治机构 的 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 16737-16737 | 军事组织 是 军事力量 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16743-16743 | 辅助的军事组织 是 军事力量 的 subclass |