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 共和国 是 政体 的 instance

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


No TPTP formula. May not be expressible in strict first order. Government.kif 248-248 帝制 是 共和国 的相反
No TPTP formula. May not be expressible in strict first order. Government.kif 292-292 宪法民主共和国 是 共和国 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 291-291 立宪共和国 是 共和国 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 296-296 联邦民主共和国 是 共和国 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 293-293 联邦共和国 是 共和国 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 295-295 议会民主共和国 是 共和国 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 294-294 议会共和国 是 共和国 的 subAttribute
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