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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoliticalProcess
PoliticalProcess(processus polotique)

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 10786-10789
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 10784-10784 Processus polotique est une sous-classe de processus organisationnel

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


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 52-52 AfghanUnitedNationsStatusDetermination est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2645-2645 Demonstration est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13958-13958 Espionage est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Merge.kif 10805-10805 JudicialProcess est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13929-13929 LawEnforcement est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Merge.kif 10844-10844 Processus militaire est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13848-13848 PassingABill est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13899-13899 PoliticalCrime est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13903-13903 PoliticalRevolution est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 876-876 Registering est une sous-classe de processus polotique
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 10791-10803

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14118-14123
No TPTP formula. May not be expressible in strict first order. Merge.kif 14125-14131
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22588-22593
No TPTP formula. May not be expressible in strict first order. Merge.kif 16720-16725


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