Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Veteran

 Sigma KEE - Veteran
Veteran(veteran)
Legionnaire, ex-serviceman, vet, veteran

appearance as argument number 1
-------------------------


(instance Veteran SocialRole) Mid-level-ontology.kif 24477-24477 Veteran is an instance of social role
(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 24478-24479 Veteran is an instance of social role
(externalImage Veteran "http://upload.wikimedia.org/wikipedia/commons/f/ fe/ USS_Missouri_veterans.JPG") pictureList.kif 6958-6958 Veteran is an instance of social role

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Veteran "veteran") domainEnglishFormat.kif 61593-61593
(termFormat ChineseTraditionalLanguage Veteran "老將") domainEnglishFormat.kif 61594-61594
(termFormat ChineseLanguage Veteran "老将") domainEnglishFormat.kif 61595-61595

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 24481-24492 If veteran is an attribute of X holds during Y, then there exists Z such that Z is a part of before the time of existence of Y, soldier is an attribute of X holds during Z, and soldier is not an attribute of X doesn't hold during Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners