Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoliticalProcess

 Sigma KEE - PoliticalProcess
PoliticalProcess

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 子類 PoliticalProcess and OrganizationalProcess

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 52-52 子類 AfghanUnitedNationsStatusDetermination and PoliticalProcess
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2645-2645 子類 示範 and PoliticalProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13931-13931 子類 間諜 and PoliticalProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 10771-10771 子類 司法程序 and PoliticalProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13902-13902 子類 執法 and PoliticalProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 10810-10810 子類 MilitaryProcess and PoliticalProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13821-13821 子類 通過法案 and PoliticalProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13872-13872 子類 政治犯罪 and PoliticalProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13876-13876 子類 政治革命 and PoliticalProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 883-883 子類 註冊 and PoliticalProcess
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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14072-14077
No TPTP formula. May not be expressible in strict first order. Merge.kif 14079-14085
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22536-22541
No TPTP formula. May not be expressible in strict first order. Merge.kif 16649-16654


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