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 10774-10777
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 10772-10772 政治过程 是 机构性过程 的 subclass

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


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 52-52 AfghanUnitedNationsStatusDetermination 是 政治过程 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2645-2645 示范 是 政治过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13930-13930 间谍 是 政治过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10793-10793 司法程序 是 政治过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13901-13901 执法 是 政治过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10832-10832 军事过程 是 政治过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13820-13820 通过法案 是 政治过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13871-13871 政治犯罪 是 政治过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13875-13875 政治革命 是 政治过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 883-883 注册 是 政治过程 的 subclass
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 10779-10791

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14094-14099
No TPTP formula. May not be expressible in strict first order. Merge.kif 14101-14107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22535-22540
No TPTP formula. May not be expressible in strict first order. Merge.kif 16671-16676


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