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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Republic

 Sigma KEE - Republic
Republic

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


No TPTP formula. May not be expressible in strict first order. Government.kif 287-289
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6817-6817
No TPTP formula. May not be expressible in strict first order. Government.kif 159-159 Republic est une instance de FormOfGovernment

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


No TPTP formula. May not be expressible in strict first order. Government.kif 248-248 Monarchy est l'oppos� de Republic
No TPTP formula. May not be expressible in strict first order. Government.kif 292-292 ConstitutionalDemocraticRepublic est un sous-attribut de Republic
No TPTP formula. May not be expressible in strict first order. Government.kif 291-291 ConstitutionalRepublic est un sous-attribut de Republic
No TPTP formula. May not be expressible in strict first order. Government.kif 296-296 FederalDemocraticRepublic est un sous-attribut de Republic
No TPTP formula. May not be expressible in strict first order. Government.kif 293-293 FederalRepublic est un sous-attribut de Republic
No TPTP formula. May not be expressible in strict first order. Government.kif 295-295 ParliamentaryDemocraticRepublic est un sous-attribut de Republic
No TPTP formula. May not be expressible in strict first order. Government.kif 294-294 ParliamentaryRepublic est un sous-attribut de Republic
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49556-49556
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49555-49555
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49554-49554


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