MilitaryOfficer |
appearance as argument number 1 |
(documentation MilitaryOfficer EnglishLanguage "This Attribute describes a Soldier who has command authority.") | Mid-level-ontology.kif 19000-19002 | |
(instance MilitaryOfficer GovernmentPosition) | Mid-level-ontology.kif 18999-18999 | MilitaryOfficer est une instance de GovernmentPosition |
(subAttribute MilitaryOfficer Soldier) | Mid-level-ontology.kif 18998-18998 | MilitaryOfficer est un sous-attribut de 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 19004-19013 |
|