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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TheocraticGovernment

Sigma KEE - TheocraticGovernment
TheocraticGovernment

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 338-339
No TPTP formula. May not be expressible in strict first order. Government.kif 186-186 TheocraticGovernment e' uma instancia de FormOfGovernment
No TPTP formula. May not be expressible in strict first order. Government.kif 330-330 TheocraticGovernment e' um sub-atributo de AuthoritarianRegime

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


No TPTP formula. May not be expressible in strict first order. Government.kif 342-342 EcclesiasticalGovernment e' um sub-atributo de TheocraticGovernment
No TPTP formula. May not be expressible in strict first order. Government.kif 343-343 IslamicGovernment e' um sub-atributo de TheocraticGovernment
No TPTP formula. May not be expressible in strict first order. Government.kif 341-341 TheocraticRepublic e' um sub-atributo de TheocraticGovernment
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57844-57844
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57843-57843
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57842-57842

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


No TPTP formula. May not be expressible in strict first order. Government.kif 352-357
No TPTP formula. May not be expressible in strict first order. Government.kif 345-350


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