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 2048-2050
(domain chamberOfLegislature 1 Organization) Government.kif 2044-2044
(domain chamberOfLegislature 2 Organization) Government.kif 2045-2045
(instance chamberOfLegislature AsymmetricRelation) Government.kif 2043-2043
(instance chamberOfLegislature BinaryPredicate) Government.kif 2042-2042
(subrelation chamberOfLegislature subOrganization) Government.kif 2046-2046

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