MilitaryPerson | ![]() |
appearance as argument number 1 |
![]() |
(documentation MilitaryPerson EnglishLanguage "Someone who is a member of a ModernMilitaryOrganization.") | Mid-level-ontology.kif 24103-24104 | |
(instance MilitaryPerson OccupationalRole) | Mid-level-ontology.kif 24102-24102 | MilitaryPerson est une instance de OccupationalRole |
appearance as argument number 2 |
![]() |
(contraryAttribute Civilian MilitaryPerson) | Mid-level-ontology.kif 23875-23875 | Civilian est l'oppos� de MilitaryPerson |
(instance Corpsman MilitaryPerson) | MilitaryPersons.kif 738-738 | Corpsman est une instance de MilitaryPerson |
(subAttribute SEAL MilitaryPerson) | MilitaryPersons.kif 791-791 | SEAL est un sous-attribut de MilitaryPerson |
(termFormat ChineseLanguage MilitaryPerson "军人") | domainEnglishFormat.kif 37694-37694 | SEAL est un sous-attribut de MilitaryPerson |
(termFormat ChineseTraditionalLanguage MilitaryPerson "軍人") | domainEnglishFormat.kif 37693-37693 | SEAL est un sous-attribut de MilitaryPerson |
(termFormat EnglishLanguage MilitaryPerson "military person") | domainEnglishFormat.kif 37692-37692 | SEAL est un sous-attribut de MilitaryPerson |
antecedent |
![]() |
(=> (holdsDuring ?T1 (attribute ?X MilitaryPerson)) (exists (?ORG) (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG))))) |
Mid-level-ontology.kif 24106-24111 |
|
consequent |
![]() |
![]() |
![]() |