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 est une instance de OccupationalRole |
appearance as argument number 2 |
(contraryAttribute Civilian MilitaryPerson) | Mid-level-ontology.kif 22284-22284 | Civilian est l'oppos� de MilitaryPerson |
(instance Corpsman MilitaryPerson) | MilitaryPersons.kif 726-726 | Corpsman est une instance de MilitaryPerson |
(subAttribute SEAL MilitaryPerson) | MilitaryPersons.kif 779-779 | SEAL est un sous-attribut 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 |