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 |
appearance as argument number 2 |
![]() |
(contraryAttribute Civilian MilitaryPerson) | Mid-level-ontology.kif 23875-23875 | |
(instance Corpsman MilitaryPerson) | MilitaryPersons.kif 738-738 | |
(subAttribute SEAL MilitaryPerson) | MilitaryPersons.kif 791-791 | |
(termFormat ChineseLanguage MilitaryPerson "军人") | domainEnglishFormat.kif 37694-37694 | |
(termFormat ChineseTraditionalLanguage MilitaryPerson "軍人") | domainEnglishFormat.kif 37693-37693 | |
(termFormat EnglishLanguage MilitaryPerson "military person") | domainEnglishFormat.kif 37692-37692 |
antecedent |
![]() |
(=> (holdsDuring ?T1 (attribute ?X MilitaryPerson)) (exists (?ORG) (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG))))) |
Mid-level-ontology.kif 24106-24111 |
consequent |
![]() |
(=> (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG)) (instance ?X Human)) (holdsDuring ?T1 (attribute ?X MilitaryPerson))) |
Mid-level-ontology.kif 24113-24118 | |
(=> (holdsDuring ?T1 (attribute ?X Civilian)) (holdsDuring ?T1 (not (attribute ?X MilitaryPerson)))) |
Mid-level-ontology.kif 23942-23944 | |
(=> (instance ?B MilitaryBase) (exists (?H) (and (instance ?H Human) (attribute ?H MilitaryPerson) (inhabits ?H ?B)))) |
MilitaryProcesses.kif 2758-2764 | |
(=> (instance ?S SITREP) (exists (?A ?P) (and (attribute ?A MilitaryPerson) (attribute ?P MilitaryPerson) (agent ?S ?A) (patient ?S ?P)))) |
MilitaryProcesses.kif 2734-2741 |
![]() |
![]() |