| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8336-8336 | 子類 兵役 and 軍事組織 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8346-8346 | 子類 軍隊 and 兵役 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8349-8349 | 子類 空軍 and 兵役 |
|
|