| MilitaryOfficer(military officer) | | adjutant, aide, aide-de-camp, commissioned_military_officer, commissioned_naval_officer, military_officer, officer |
| appearance as argument number 1 |
|
|
| (documentation MilitaryOfficer EnglishLanguage "This Attribute describes a Soldier who has command authority.") | Mid-level-ontology.kif 16802-16804 | |
| (instance MilitaryOfficer GovernmentPosition) | Mid-level-ontology.kif 16800-16800 | Military officer is an instance of government position |
| (subAttribute MilitaryOfficer Soldier) | Mid-level-ontology.kif 16798-16798 | Military officer is a subattribute of soldier |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?OFFICER MilitaryOfficer) (exists (?MANAGE ?PATIENT) (and (instance ?MANAGE Managing) (agent ?MANAGE ?OFFICER) (patient ?MANAGE ?PATIENT) (or (instance ?PATIENT MilitaryOrganization) (attribute ?PATIENT Soldier))))) |
Mid-level-ontology.kif 16806-16815 |
|
|
|
|