| MilitaryPerson | |
| appearance as argument number 1 |
|
|
| (documentation MilitaryPerson EnglishLanguage "Someone who is a member of a ModernMilitaryOrganization.") | Mid-level-ontology.kif 20393-20394 | |
| (instance MilitaryPerson OccupationalRole) | Mid-level-ontology.kif 20392-20392 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Civilian MilitaryPerson) | Mid-level-ontology.kif 20097-20097 | |
| (termFormat ChineseLanguage MilitaryPerson "军人") | domainEnglishFormat.kif 37606-37606 | |
| (termFormat ChineseTraditionalLanguage MilitaryPerson "軍人") | domainEnglishFormat.kif 37605-37605 | |
| (termFormat EnglishLanguage MilitaryPerson "military person") | domainEnglishFormat.kif 37604-37604 |
| antecedent |
|
|
| (=> (holdsDuring ?T1 (attribute ?X MilitaryPerson)) (exists (?ORG) (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG))))) |
Mid-level-ontology.kif 20396-20401 |
| consequent |
|
|
| (=> (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG)) (instance ?X Human)) (holdsDuring ?T1 (attribute ?X MilitaryPerson))) |
Mid-level-ontology.kif 20403-20408 | |
| (=> (holdsDuring ?T1 (attribute ?X Civilian)) (holdsDuring ?T1 (not (attribute ?X MilitaryPerson)))) |
Mid-level-ontology.kif 20165-20167 |
|
|
|