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 10752-10755
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 10750-10750	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 13931-13931	Espionage is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10771-10771	Judicial process is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13902-13902	Law enforcement is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10810-10810	Military process is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13821-13821	PassingA bill is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13872-13872	Political crime is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13876-13876	Political revolution is a subclass of political process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 883-883	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 10757-10769

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 14072-14077	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 14079-14085	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 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.	Merge.kif 16649-16654	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: