Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryPerson
MilitaryPerson

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


(documentation MilitaryPerson EnglishLanguage "Someone who is a member of a ModernMilitaryOrganization.") Mid-level-ontology.kif 22409-22410
(instance MilitaryPerson OccupationalRole) Mid-level-ontology.kif 22408-22408

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


(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 22181-22181
(instance Corpsman MilitaryPerson) MilitaryPersons.kif 726-726
(termFormat ChineseLanguage MilitaryPerson "军人") domainEnglishFormat.kif 37697-37697
(termFormat ChineseTraditionalLanguage MilitaryPerson "軍人") domainEnglishFormat.kif 37696-37696
(termFormat EnglishLanguage MilitaryPerson "military person") domainEnglishFormat.kif 37695-37695

antecedent
-------------------------


(=>
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson))
    (exists (?ORG)
        (and
            (instance ?ORG MilitaryOrganization)
            (holdsDuring ?T1
                (member ?X ?ORG)))))
Mid-level-ontology.kif 22412-22417

consequent
-------------------------


(=>
    (and
        (instance ?ORG MilitaryOrganization)
        (holdsDuring ?T1
            (member ?X ?ORG))
        (instance ?X Human))
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson)))
Mid-level-ontology.kif 22419-22424
(=>
    (holdsDuring ?T1
        (attribute ?X Civilian))
    (holdsDuring ?T1
        (not
            (attribute ?X MilitaryPerson))))
Mid-level-ontology.kif 22248-22250


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 is open source software produced by Articulate Software and its partners