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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 政治过程机构性过程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 13931-13931 间谍政治过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10771-10771 司法程序政治过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13902-13902 执法政治过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10810-10810 军事过程政治过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13821-13821 通过法案政治过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13872-13872 政治犯罪政治过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13876-13876 政治革命政治过程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 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 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