| 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 18999-19001 | |
| (instance MilitaryOfficer GovernmentPosition) | Mid-level-ontology.kif 18998-18998 | Military officer is an instance of government position |
| (subAttribute MilitaryOfficer Soldier) | Mid-level-ontology.kif 18997-18997 | 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 19003-19012 |
|
|
|
|