TreeView Knowledge Base Browser - PoliticalFigure

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

PoliticalFigure

Sigma KEE - PoliticalFigure

PoliticalFigure(political figure)

congressman, congresswoman, legislator, parliamentarian, pol, political_leader, politician, politico, rep, representative

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22531-22534
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22530-22530	Political figure is a subattribute of celebrity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46489-46489
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46488-46488
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46487-46487

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22536-22541	If political figure is an attribute of an agent, then there exists a process such that the agent is an agent of the process and the process is an instance of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22543-22551	If political figure is an attribute of a cognitive agent, then there exists a collection such that the collection is an instance of government and the cognitive agent is a member of the collection or the cognitive agent desires the cognitive agent is a member of the collection

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