MilitaryOfficer(military officer) | adjutant, aide, aide-de-camp, commissioned_military_officer, commissioned_naval_officer, military_officer, officer |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18999-19001 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18998-18998 | Military officer is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18997-18997 | Military officer is a subattribute of soldier |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19021-19021 | Admiral is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19042-19042 | Captain officer is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19047-19047 | Colonel is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19056-19056 | Corporal is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19038-19038 | Lieutenant is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19025-19025 | Major is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19014-19014 | Military general is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 747-747 | Intelligence officer is a subattribute of military officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19052-19052 | Sergeant is a subattribute of military officer |
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 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19003-19012 |
|