|
|
  MilitaryOfficer EconomicIntegration
|
|
|
| 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 | MilitaryOfficer は GovernmentPosition の instance では %n |
| (subAttribute MilitaryOfficer Soldier) | Mid-level-ontology.kif 18997-18997 | MilitaryOfficer は Soldier の subattribute では %n |
| 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 |
|
|
|
|