| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16666-16666 | 子類 軍事組織 and 軍事力量 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16667-16667 | 子類 軍事組織 and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 299-299 | 子類 特種作戰部隊 and 軍事組織 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 879-879 | 子類 外部機構 and 軍事組織 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1723-1723 | 子類 聯合部隊 and 軍事組織 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 798-798 | 子類 空軍 - 服務單位 and 軍事組織 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 808-808 | 子類 海軍陸戰隊-支部 and 軍事組織 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 813-813 | 子類 NavalAirForceBranchOfService and 軍事組織 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 816-816 | 子類 NavyBranchOfService and 軍事組織 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8337-8337 | 子類 兵役 and 軍事組織 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8354-8354 | 子類 軍事單位 and 軍事組織 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8369-8369 | 子類 軍事後備力量 and 軍事組織 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22515-22515 | 子類 維護和平任務 and 軍事組織 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6057-6057 | 子類 FleetMarineForce and 軍事組織 |
|
|