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 24103-24104
(instance MilitaryPerson OccupationalRole) Mid-level-ontology.kif 24102-24102 MilitaryPerson est une instance de OccupationalRole

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


(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 23875-23875 Civilian est l'oppos� de MilitaryPerson
(instance Corpsman MilitaryPerson) MilitaryPersons.kif 738-738 Corpsman est une instance de MilitaryPerson
(subAttribute SEAL MilitaryPerson) MilitaryPersons.kif 791-791 SEAL est un sous-attribut de MilitaryPerson
(termFormat ChineseLanguage MilitaryPerson "军人") domainEnglishFormat.kif 37694-37694 SEAL est un sous-attribut de MilitaryPerson
(termFormat ChineseTraditionalLanguage MilitaryPerson "軍人") domainEnglishFormat.kif 37693-37693 SEAL est un sous-attribut de MilitaryPerson
(termFormat EnglishLanguage MilitaryPerson "military person") domainEnglishFormat.kif 37692-37692 SEAL est un sous-attribut de MilitaryPerson

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


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

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


(=>
    (and
        (instance ?ORG MilitaryOrganization)
        (holdsDuring ?T1
            (member ?X ?ORG))
        (instance ?X Human))
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson)))
Mid-level-ontology.kif 24113-24118
(=>
    (holdsDuring ?T1
        (attribute ?X Civilian))
    (holdsDuring ?T1
        (not
            (attribute ?X MilitaryPerson))))
Mid-level-ontology.kif 23942-23944
(=>
    (instance ?B MilitaryBase)
    (exists (?H)
        (and
            (instance ?H Human)
            (attribute ?H MilitaryPerson)
            (inhabits ?H ?B))))
MilitaryProcesses.kif 2758-2764
(=>
    (instance ?S SITREP)
    (exists (?A ?P)
        (and
            (attribute ?A MilitaryPerson)
            (attribute ?P MilitaryPerson)
            (agent ?S ?A)
            (patient ?S ?P))))
MilitaryProcesses.kif 2734-2741


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