MilitaryPerson(military person) | army_attache, artilleryman, cannoneer, gunner, machine_gunner |
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 | Military person is an instance of occupational role |
appearance as argument number 2 |
(contraryAttribute Civilian MilitaryPerson) | Mid-level-ontology.kif 22284-22284 | Civilian is the opposite of military person |
(instance Corpsman MilitaryPerson) | MilitaryPersons.kif 726-726 | Hospital corpsman is an instance of military person |
(subAttribute SEAL MilitaryPerson) | MilitaryPersons.kif 779-779 | United States Navy Sea, Air, and Land Team member is a subattribute of military person |
(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 |