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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryPerson

Sigma KEE - MilitaryPerson
MilitaryPerson

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


(documentation MilitaryPerson EnglishLanguage "Someone who is a member of a ModernMilitaryOrganization.") Mid-level-ontology.kif 20355-20356
(instance MilitaryPerson OccupationalRole) Mid-level-ontology.kif 20354-20354

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


(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 20059-20059
(termFormat EnglishLanguage MilitaryPerson "military person") domainEnglishFormat.kif 6701-6701

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


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

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


(=>
    (and
        (instance ?ORG MilitaryOrganization)
        (holdsDuring ?T1
            (member ?X ?ORG))
        (instance ?X Human))
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson)))
Mid-level-ontology.kif 20365-20370
(=>
    (holdsDuring ?T1
        (attribute ?X Civilian))
    (holdsDuring ?T1
        (not
            (attribute ?X MilitaryPerson))))
Mid-level-ontology.kif 20127-20129


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners