| 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. | MilitaryPersons.kif 509-509 | LAR单位 是 军事单位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 635-635 | 突击两栖动物单位 是 军事单位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 84-84 | 维和部队 是 军事单位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 672-672 | 步兵部队 是 军事单位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 714-714 | 旅 是 军事单位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 732-732 | 营 是 军事单位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 736-736 | 公司- 军事 是 军事单位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 745-745 | 排 是 军事单位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8374-8374 | 军队 是 军事单位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8377-8377 | 军团 是 军事单位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8381-8381 | 骑兵部队 是 军事单位 的 subclass |
|
|