| 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 21916-21917 | |
| (instance MilitaryPerson OccupationalRole) | Mid-level-ontology.kif 21915-21915 | Military person is an instance of occupational role |
| appearance as argument number 2 |
|
|
| (contraryAttribute Civilian MilitaryPerson) | Mid-level-ontology.kif 21688-21688 | Civilian is the opposite of military person |
| (termFormat ChineseLanguage MilitaryPerson "军人") | domainEnglishFormat.kif 37674-37674 | |
| (termFormat ChineseTraditionalLanguage MilitaryPerson "軍人") | domainEnglishFormat.kif 37673-37673 | |
| (termFormat EnglishLanguage MilitaryPerson "military person") | domainEnglishFormat.kif 37672-37672 |
| antecedent |
|
|
| (=> (holdsDuring ?T1 (attribute ?X MilitaryPerson)) (exists (?ORG) (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG))))) |
Mid-level-ontology.kif 21919-21924 |
|
| consequent |
|
|
| (=> (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG)) (instance ?X Human)) (holdsDuring ?T1 (attribute ?X MilitaryPerson))) |
Mid-level-ontology.kif 21926-21931 |
|
| (=> (holdsDuring ?T1 (attribute ?X Civilian)) (holdsDuring ?T1 (not (attribute ?X MilitaryPerson)))) |
Mid-level-ontology.kif 21755-21757 |
|
|
|
|