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 22199-22200 | |
(externalImage Veteran "http://upload.wikimedia.org/wikipedia/commons/f/ fe/ USS_Missouri_veterans.JPG") | pictureList.kif 6959-6959 | |
(instance Veteran SocialRole) | Mid-level-ontology.kif 22198-22198 |
appearance as argument number 2 |
(termFormat ChineseLanguage Veteran "老将") | domainEnglishFormat.kif 61592-61592 | |
(termFormat ChineseTraditionalLanguage Veteran "老將") | domainEnglishFormat.kif 61591-61591 | |
(termFormat EnglishLanguage Veteran "veteran") | domainEnglishFormat.kif 61590-61590 |
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 22202-22213 |