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 732-732 |
营 是 军事单位 的 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. |
Mid-level-ontology.kif 8381-8381 |
骑兵部队 是 军事单位 的 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 672-672 |
步兵部队 是 军事单位 的 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. |
Mid-level-ontology.kif 8377-8377 |
军团 是 军事单位 的 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. |
Military.kif 84-84 |
维和部队 是 军事单位 的 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. |
domainEnglishFormat.kif 37763-37763 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37762-37762 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37761-37761 |
|