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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoliticalProcess

 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 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 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 13930-13930 Espionage est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Merge.kif 10793-10793 JudicialProcess est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13901-13901 LawEnforcement est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Merge.kif 10832-10832 Processus militaire est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13820-13820 PassingABill est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13871-13871 PoliticalCrime est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13875-13875 PoliticalRevolution est une sous-classe de processus polotique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 883-883 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 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