No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19022-19022 |
子屬性 上將 and 軍官 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19043-19043 |
子屬性 隊長 and 軍官 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19048-19048 |
子屬性 陸軍上校 and 軍官 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19057-19057 |
子屬性 下士 and 軍官 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19039-19039 |
子屬性 陸軍中尉 and 軍官 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19026-19026 |
子屬性 重大的 and 軍官 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19015-19015 |
子屬性 軍事將軍 and 軍官 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 747-747 |
子屬性 SecurityOfficer and 軍官 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19053-19053 |
子屬性 軍士 and 軍官 |
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 |
|