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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FederalDemocraticRepublic
FederalDemocraticRepublic

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


(instance FederalDemocraticRepublic FormOfGovernment) Government.kif 161-161 FederalDemocraticRepublicFormOfGovernmentinstance では %n
(subAttribute FederalDemocraticRepublic Democracy) Government.kif 303-303 FederalDemocraticRepublicDemocracysubattribute では %n
(subAttribute FederalDemocraticRepublic FederalGovernment) Government.kif 280-280 FederalDemocraticRepublicFederalGovernmentsubattribute では %n
(subAttribute FederalDemocraticRepublic Republic) Government.kif 296-296 FederalDemocraticRepublicRepublicsubattribute では %n

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


(termFormat ChineseLanguage FederalDemocraticRepublic "联邦民主共和国") domainEnglishFormat.kif 23440-23440
(termFormat ChineseTraditionalLanguage FederalDemocraticRepublic "聯邦民主共和國") domainEnglishFormat.kif 23439-23439
(termFormat EnglishLanguage FederalDemocraticRepublic "federal democratic republic") domainEnglishFormat.kif 23438-23438


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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