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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GovernmentPerson

Sigma KEE - GovernmentPerson
GovernmentPersonaction_officer, chair_of_state, government_person

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


(documentation GovernmentPerson EnglishLanguage "A person who works for a Government.") Mid-level-ontology.kif 20223-20223
(instance GovernmentPerson OccupationalRole) Mid-level-ontology.kif 20222-20222

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


(subAttribute Diplomat GovernmentPerson) Mid-level-ontology.kif 20160-20160
(termFormat EnglishLanguage GovernmentPerson "government person") domainEnglishFormat.kif 4807-4807

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


(=>
    (holdsDuring ?T1
        (attribute ?X GovernmentPerson))
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (holdsDuring ?T1
                (employs ?GOV ?X)))))
Mid-level-ontology.kif 20224-20229


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