Veteran - Sigma Knowledge base Browser

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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