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 例 共和國 and 政體

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


No TPTP formula. May not be expressible in strict first order. Government.kif 248-248 相反的屬性 帝制 and 共和國
No TPTP formula. May not be expressible in strict first order. Government.kif 292-292 子屬性 憲法民主共和國 and 共和國
No TPTP formula. May not be expressible in strict first order. Government.kif 291-291 子屬性 立憲共和國 and 共和國
No TPTP formula. May not be expressible in strict first order. Government.kif 296-296 子屬性 聯邦民主共和國 and 共和國
No TPTP formula. May not be expressible in strict first order. Government.kif 293-293 子屬性 聯邦共和國 and 共和國
No TPTP formula. May not be expressible in strict first order. Government.kif 295-295 子屬性 議會民主共和國 and 共和國
No TPTP formula. May not be expressible in strict first order. Government.kif 294-294 子屬性 議會共和國 and 共和國
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