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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - chamberOfLegislature

appearance as argument number 1

(documentation chamberOfLegislature EnglishLanguage "(chamberOfLegislature ?CHAMBER ?LEGISLATURE) means that ?CHAMBER is a legislative body within the ?LEGISLATURE.") Government.kif 2059-2061
(domain chamberOfLegislature 1 Organization) Government.kif 2055-2055 立法机关 的 1 数量 是 机构instance
(domain chamberOfLegislature 2 Organization) Government.kif 2056-2056 立法机关 的 2 数量 是 机构instance
(instance chamberOfLegislature AsymmetricRelation) Government.kif 2054-2054 立法机关非对称关系instance
(instance chamberOfLegislature BinaryPredicate) Government.kif 2053-2053 立法机关二元谓语instance
(subrelation chamberOfLegislature subOrganization) Government.kif 2057-2057 立法机关子机构subrelation

appearance as argument number 2

(format ChineseLanguage chamberOfLegislature "%2 %n 是 %1 的立法机关的 chamber ") domainEnglishFormat.kif 408-408
(format ChineseTraditionalLanguage chamberOfLegislature "%2 %n 是 %1 的立法機關的 chamber ") domainEnglishFormat.kif 407-407
(format EnglishLanguage chamberOfLegislature "%2 is %n a chamber of legislature of %1") domainEnglishFormat.kif 406-406
(termFormat ChineseLanguage chamberOfLegislature "立法机关") domainEnglishFormat.kif 14091-14091
(termFormat ChineseTraditionalLanguage chamberOfLegislature "立法機關") domainEnglishFormat.kif 14090-14090
(termFormat EnglishLanguage chamberOfLegislature "chamber of legislature") domainEnglishFormat.kif 14089-14089

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