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 10646-10649
No TPTP formula. May not be expressible in strict first order. Merge.kif 10644-10644 政治过程机构性过程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 2644-2644 示范政治过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13401-13401 间谍政治过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10665-10665 司法程序政治过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13372-13372 执法政治过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10702-10702 军事过程政治过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13291-13291 通过法案政治过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13342-13342 政治犯罪政治过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13346-13346 政治革命政治过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 848-848 注册政治过程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

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10651-10663

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13825-13830
No TPTP formula. May not be expressible in strict first order. Merge.kif 13832-13838
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21982-21987
No TPTP formula. May not be expressible in strict first order. Merge.kif 16380-16385


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