PoliticalPressureGroup - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PoliticalPressureGroup

PoliticalPressureGroup(political pressure group)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2308-2312
No TPTP formula. May not be expressible in strict first order.	Government.kif 2306-2306	Political pressure group is a subclass of political organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46521-46521
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46520-46520
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46519-46519

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2323-2330	If a cognitive agent is an instance of political pressure group and the cognitive agent has the purpose a formula and a geographic area is an agent operates in area of the cognitive agent and the geographic area is an instance of nation, then the cognitive agent desires the government of the geographic area believes the formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 2332-2338	If a cognitive agent is an instance of political pressure group and an area of concern is an organizational objective of the cognitive agent and an agent is an instance of government organization and the area of concern is an organizational objective of the agent, then the cognitive agent is interested in the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2314-2321	If an agent is an instance of political pressure group, then there exist a process and an entity such that the process is an instance of requesting and the agent is an agent of the process and the entity is an instance of government organization and the entity is a patient of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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