|
|
   MentalBranchArtery
|
|
|
| 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 は OccupationalRole の instance では %n |
| appearance as argument number 2 |
|
|
| (contraryAttribute Civilian MilitaryPerson) | Mid-level-ontology.kif 22284-22284 | Civilian は MilitaryPerson の disjoint では %n |
| (instance Corpsman MilitaryPerson) | MilitaryPersons.kif 726-726 | Corpsman は MilitaryPerson の instance では %n |
| (subAttribute SEAL MilitaryPerson) | MilitaryPersons.kif 779-779 | SEAL は MilitaryPerson の subattribute では %n |
| (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 |
|
|
| (=> (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG)) (instance ?X Human)) (holdsDuring ?T1 (attribute ?X MilitaryPerson))) |
Mid-level-ontology.kif 22522-22527 | |
| (=> (holdsDuring ?T1 (attribute ?X Civilian)) (holdsDuring ?T1 (not (attribute ?X MilitaryPerson)))) |
Mid-level-ontology.kif 22351-22353 | |
| (=> (instance ?S SITREP) (exists (?A ?P) (and (attribute ?A MilitaryPerson) (attribute ?P MilitaryPerson) (agent ?S ?A) (patient ?S ?P)))) |
MilitaryProcesses.kif 2750-2757 |
|
|
|
|