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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - chamberOfLegislature
chamberOfLegislature

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


(documentation chamberOfLegislature EnglishLanguage "(chamberOfLegislature ?CHAMBER ?LEGISLATURE) means that ?CHAMBER is a legislative body within the ?LEGISLATURE.") Government.kif 2026-2028
(domain chamberOfLegislature 1 Organization) Government.kif 2022-2022 The number 1 argument of chamber of legislature is an instance of organization
(domain chamberOfLegislature 2 Organization) Government.kif 2023-2023 The number 2 argument of chamber of legislature is an instance of organization
(instance chamberOfLegislature AsymmetricRelation) Government.kif 2021-2021 chamber of legislature is an instance of asymmetric relation
(instance chamberOfLegislature BinaryPredicate) Government.kif 2020-2020 chamber of legislature is an instance of binary predicate
(subrelation chamberOfLegislature subOrganization) Government.kif 2024-2024 chamber of legislature is a subrelation of sub organization

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 14104-14104
(termFormat ChineseTraditionalLanguage chamberOfLegislature "立法機關") domainEnglishFormat.kif 14103-14103
(termFormat EnglishLanguage chamberOfLegislature "chamber of legislature") domainEnglishFormat.kif 14102-14102


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