| 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 1878-1880 | |
| (domain seatsHeldInOrganization 1 Organization) | Government.kif 1874-1874 | The number 1 argument of seats held in organization is an instance of organization |
| (domain seatsHeldInOrganization 2 AutonomousAgent) | Government.kif 1875-1875 | The number 2 argument of seats held in organization is an instance of agent |
| (domain seatsHeldInOrganization 3 NonnegativeInteger) | Government.kif 1876-1876 | The number 3 argument of seats held in organization is an instance of nonnegative integer |
| (instance seatsHeldInOrganization TernaryPredicate) | Government.kif 1873-1873 | 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 2211-2211 | |
| (format ChineseTraditionalLanguage seatsHeldInOrganization "%1 %n 是 對於 %3 舉辦在組織 %2 的 seats ") | domainEnglishFormat.kif 2210-2210 | |
| (format EnglishLanguage seatsHeldInOrganization "%1 is %n seats held in organization %2 for %3") | domainEnglishFormat.kif 2209-2209 | |
| (termFormat ChineseLanguage seatsHeldInOrganization "在组织中举行的席位") | domainEnglishFormat.kif 51780-51780 | |
| (termFormat ChineseTraditionalLanguage seatsHeldInOrganization "在組織中舉行的席位") | domainEnglishFormat.kif 51779-51779 | |
| (termFormat EnglishLanguage seatsHeldInOrganization "seats held in organization") | domainEnglishFormat.kif 51778-51778 |
|
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