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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoliticalProcess

 Sigma KEE - PoliticalProcess
PoliticalProcess(Processo Politico)

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 Processo Politico e' uma sub-classe de Processo Organizacional

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


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 52-52 AfghanUnitedNationsStatusDetermination e' uma sub-classe de Processo Politico
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2645-2645 Demonstration e' uma sub-classe de Processo Politico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13930-13930 Espionage e' uma sub-classe de Processo Politico
No TPTP formula. May not be expressible in strict first order. Merge.kif 10793-10793 JudicialProcess e' uma sub-classe de Processo Politico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13901-13901 LawEnforcement e' uma sub-classe de Processo Politico
No TPTP formula. May not be expressible in strict first order. Merge.kif 10832-10832 Processo Militar e' uma sub-classe de Processo Politico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13820-13820 PassingABill e' uma sub-classe de Processo Politico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13871-13871 PoliticalCrime e' uma sub-classe de Processo Politico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13875-13875 PoliticalRevolution e' uma sub-classe de Processo Politico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 883-883 Registering e' uma sub-classe de Processo Politico
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