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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GovernmentPerson

Sigma KEE - GovernmentPerson
GovernmentPerson(government person)action_officer, chair_of_state

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21893-21893
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21892-21892 Government person is an instance of occupational role

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21843-21843 Diplomat is a subattribute of government person
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26307-26307
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26306-26306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26305-26305

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21894-21899


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