| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16688-16688 | 军事组织 是 军事力量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16689-16689 | 军事组织 是 政府组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 299-299 | 特种作战部队 是 军事组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 879-879 | 外部机构 是 军事组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1723-1723 | 联合部队 是 军事组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 798-798 | 空军 - 服务单位 是 军事组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 808-808 | 海军陆战队-支部 是 军事组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 813-813 | NavalAirForceBranchOfService 是 军事组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 816-816 | NavyBranchOfService 是 军事组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8336-8336 | 兵役 是 军事组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8353-8353 | 军事单位 是 军事组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8368-8368 | 军事后备力量 是 军事组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22514-22514 | 维护和平任务 是 军事组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6057-6057 | FleetMarineForce 是 军事组织 的 subclass |
|
|