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

Formal Language: 



KB Term:  Term intersection
English Word: 

  seatsHeldInOrganization

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 1880-1882
(domain seatsHeldInOrganization 1 Organization) Government.kif 1876-1876 seatsHeldInOrganization の数値 1 引数は 組織instance では %n
(domain seatsHeldInOrganization 2 AutonomousAgent) Government.kif 1877-1877 seatsHeldInOrganization の数値 2 引数は AutonomousAgentinstance では %n
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1878-1878 seatsHeldInOrganization の数値 3 引数は 非負整数instance では %n
(instance seatsHeldInOrganization TernaryPredicate) Government.kif 1875-1875 seatsHeldInOrganization3進述語instance では %n

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 51787-51787
(termFormat ChineseTraditionalLanguage seatsHeldInOrganization "在組織中舉行的席位") domainEnglishFormat.kif 51786-51786
(termFormat EnglishLanguage seatsHeldInOrganization "seats held in organization") domainEnglishFormat.kif 51785-51785


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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