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 2320-2324
No TPTP formula. May not be expressible in strict first order.	Government.kif 2318-2318	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 46514-46514
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46513-46513
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46512-46512

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2335-2342	If a cognitive agent is an instance of political pressure group and the cognitive agent 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 geographic area の government believes the formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 2344-2350	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 2326-2333	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