|
|
  MilitaryPerson
|
|
|
| appearance as argument number 1 |
|
|
| (documentation MilitaryPerson EnglishLanguage "Someone who is a member of a ModernMilitaryOrganization.") | Mid-level-ontology.kif 22512-22513 | |
| (instance MilitaryPerson OccupationalRole) | Mid-level-ontology.kif 22511-22511 | MilitaryPerson e' uma instancia de OccupationalRole |
| appearance as argument number 2 |
|
|
| (contraryAttribute Civilian MilitaryPerson) | Mid-level-ontology.kif 22284-22284 | Civilian e' &o oposto de MilitaryPerson |
| (instance Corpsman MilitaryPerson) | MilitaryPersons.kif 726-726 | Corpsman e' uma instancia de MilitaryPerson |
| (subAttribute SEAL MilitaryPerson) | MilitaryPersons.kif 779-779 | SEAL e' um sub-atributo de MilitaryPerson |
| (termFormat ChineseLanguage MilitaryPerson "军人") | domainEnglishFormat.kif 37685-37685 | |
| (termFormat ChineseTraditionalLanguage MilitaryPerson "軍人") | domainEnglishFormat.kif 37684-37684 | |
| (termFormat EnglishLanguage MilitaryPerson "military person") | domainEnglishFormat.kif 37683-37683 |
| antecedent |
|
|
| (=> (holdsDuring ?T1 (attribute ?X MilitaryPerson)) (exists (?ORG) (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG))))) |
Mid-level-ontology.kif 22515-22520 |
|
| consequent |
|
|
|
|
|