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 1880-1882
(domain seatsHeldInOrganization 1 Organization) Government.kif 1876-1876 Il numero 1 argomenti di seatsHeldInOrganization è un istanza di Organizzazione
(domain seatsHeldInOrganization 2 AutonomousAgent) Government.kif 1877-1877 Il numero 2 argomenti di seatsHeldInOrganization è un istanza di AutonomousAgent
(domain seatsHeldInOrganization 3 NonnegativeInteger) Government.kif 1878-1878 Il numero 3 argomenti di seatsHeldInOrganization è un istanza di NumeroInteroNonNegativo
(instance seatsHeldInOrganization TernaryPredicate) Government.kif 1875-1875 seatsHeldInOrganization è un' istanza di PredicatoTernario

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 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