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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - seatsHeldInOrganization
seatsHeldInOrganization

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


(documentation seatsHeldInOrganization EnglishLanguage "(seatsHeldInOrganization ?GROUP ?PARTY ?NUMBER) means that in the Organization ?GROUP, the PoliticalParty or other AutonomousAgent ?AGENT, holds or controls this ?NUMBER of seats.") Government.kif 1916-1918
(domain seatsHeldInOrganization 1 Organization) Government.kif 1912-1912 在组织中举行的席位 的 1 数量 是 机构instance
(domain seatsHeldInOrganization 2 AutonomousAgent) Government.kif 1913-1913 在组织中举行的席位 的 2 数量 是 施事体instance
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1914-1914 在组织中举行的席位 的 3 数量 是 非负整数instance
(instance seatsHeldInOrganization TernaryPredicate) Government.kif 1911-1911 在组织中举行的席位三元谓语instance

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


(format ChineseLanguage seatsHeldInOrganization "%1 %n 是 对于 %3 举办在组织 %2 的 seats ") domainEnglishFormat.kif 2207-2207
(format ChineseTraditionalLanguage seatsHeldInOrganization "%1 %n 是 對於 %3 舉辦在組織 %2 的 seats ") domainEnglishFormat.kif 2206-2206
(format EnglishLanguage seatsHeldInOrganization "%1 is %n seats held in organization %2 for %3") domainEnglishFormat.kif 2205-2205
(termFormat ChineseLanguage seatsHeldInOrganization "在组织中举行的席位") domainEnglishFormat.kif 51747-51747
(termFormat ChineseTraditionalLanguage seatsHeldInOrganization "在組織中舉行的席位") domainEnglishFormat.kif 51746-51746
(termFormat EnglishLanguage seatsHeldInOrganization "seats held in organization") domainEnglishFormat.kif 51745-51745


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