TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2959-2960
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10786-10789
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1714-1716
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10784-10784	Political process is a subclass of organizational process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 52-52	Afghan United Nations status determination is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2645-2645	Demonstration is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13958-13958	Espionage is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10805-10805	Judicial process is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13929-13929	Law enforcement is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10844-10844	Military process is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13848-13848	PassingA bill is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13899-13899	Political crime is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13903-13903	Political revolution is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 876-876	Registering is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1103-1103
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1423-1423
No TPTP formula. May not be expressible in strict first order.	french_format.kif 781-781
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 313-313
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 316-316
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2465-2465
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 733-733
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 352-352
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 802-802
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 317-317

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 10791-10803

If a process is an instance of political process,
then there exists an agent such that the agent is an instance of government or there exists a collection such that the collection is an instance of government and the agent is a member of the collection and the agent is an agent of the process or the agent is a patient of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14118-14123	If a process is an instance of election and an agent is an agent of the process and the agent is an instance of geopolitical area, then the process is an instance of political process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14125-14131	If a process is an instance of election and an agent is an agent of the process and a geopolitical area is an instance of geopolitical area and the agent is an instance of the government of the geopolitical area, then the process is an instance of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22588-22593	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.	Merge.kif 16720-16725	If an agent is an instance of political organization, then there exists a process such that the process is an instance of political process and the agent is an agent of the process

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

KB Term:			Term intersection

English Word: