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

Formal Language: 



KB Term:  Term intersection
English Word: 

  newRegisteredUsers

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 The number 1 argument of seats held in organization is an instance of organization
(domain seatsHeldInOrganization 2 AutonomousAgent) Government.kif 1877-1877 The number 2 argument of seats held in organization is an instance of agent
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1878-1878 The number 3 argument of seats held in organization is an instance of nonnegative integer
(instance seatsHeldInOrganization TernaryPredicate) Government.kif 1875-1875 seats held in organization is an instance of ternary predicate

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


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