No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19021-19021 |
上将 是 军官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19042-19042 |
队长 是 军官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19047-19047 |
陆军上校 是 军官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19056-19056 |
下士 是 军官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19038-19038 |
陆军中尉 是 军官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19025-19025 |
重大的 是 军官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19014-19014 |
军事将军 是 军官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 747-747 |
SecurityOfficer 是 军官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19052-19052 |
军士 是 军官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37667-37667 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37666-37666 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37665-37665 |
|