|
|
  Veteran
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Veteran EnglishLanguage "The Attribute that applies to someone who was a Soldier at one time, but is not currently a Soldier.") | Mid-level-ontology.kif 21680-21681 | |
| (externalImage Veteran "http://upload.wikimedia.org/wikipedia/commons/f/ fe/ USS_Missouri_veterans.JPG") | pictureList.kif 6960-6960 | |
| (instance Veteran SocialRole) | Mid-level-ontology.kif 21679-21679 | instance Veteran and SocialRole |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Veteran "老将") | domainEnglishFormat.kif 61559-61559 | |
| (termFormat ChineseTraditionalLanguage Veteran "老將") | domainEnglishFormat.kif 61558-61558 | |
| (termFormat EnglishLanguage Veteran "veteran") | domainEnglishFormat.kif 61557-61557 |
| antecedent |
|
|
| (=> (holdsDuring ?T1 (attribute ?H Veteran)) (exists (?T2) (and (temporalPart ?T2 (PastFn (WhenFn ?T1))) (holdsDuring ?T2 (attribute ?H Soldier)) (not (holdsDuring ?T1 (attribute ?H Soldier)))))) |
Mid-level-ontology.kif 21683-21694 |
|
|
|
|
