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 2062-2064
(domain chamberOfLegislature 1 Organization) Government.kif 2058-2058 The number 1 argument of chamber of legislature is an instance of organization
(domain chamberOfLegislature 2 Organization) Government.kif 2059-2059 The number 2 argument of chamber of legislature is an instance of organization
(instance chamberOfLegislature AsymmetricRelation) Government.kif 2057-2057 chamber of legislature is an instance of asymmetric relation
(instance chamberOfLegislature BinaryPredicate) Government.kif 2056-2056 chamber of legislature is an instance of binary predicate
(subrelation chamberOfLegislature subOrganization) Government.kif 2060-2060 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 14088-14088
(termFormat ChineseTraditionalLanguage chamberOfLegislature "立法機關") domainEnglishFormat.kif 14087-14087
(termFormat EnglishLanguage chamberOfLegislature "chamber of legislature") domainEnglishFormat.kif 14086-14086


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