| MilitaryOfficer(military officer) |
| appearance as argument number 1 |
|
|
| (documentation MilitaryOfficer EnglishLanguage "The class of soldiers who have authority or command.") | Mid-level-ontology.kif 12396-12396 | |
| (subAttribute MilitaryOfficer Soldier) | Mid-level-ontology.kif 12395-12395 | Military officer is a subattribute of soldier |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?OFFICER MilitaryOfficer) (exists (?MANAGE ?PATIENT) (and (instance ?MANAGE Managing) (agent ?MANAGE ?OFFICER) (patient ?MANAGE ?PATIENT) (or (instance ?PATIENT MilitaryOrganization) (instance ?PATIENT Soldier))))) |
Mid-level-ontology.kif 12398-12407 |
|
|