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 22413-22413
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22412-22412 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 22363-22363 Diplomat is a subattribute of government person
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26316-26316
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26315-26315
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26314-26314

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


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


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