Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| seatsHeldInOrganization |
| appearance as argument number 1 |
|
| (instance seatsHeldInOrganization TernaryPredicate) | Government.kif 1882-1882 | seats held in organization is an instance of ternary predicate |
| (domain seatsHeldInOrganization 1 Organization) | Government.kif 1883-1883 | The number 1 argument of seats held in organization is an instance of organization |
| (domain seatsHeldInOrganization 2 AutonomousAgent) | Government.kif 1884-1884 | The number 2 argument of seats held in organization is an instance of agent |
| (domain seatsHeldInOrganization 3 NonnegativeInteger) | Government.kif 1885-1885 | The number 3 argument of seats held in organization is an instance of nonnegative integer |
| (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 1887-1889 | The number 3 argument of seats held in organization is an instance of nonnegative integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage seatsHeldInOrganization "%1 is %n seats held in organization %2 for %3") | domainEnglishFormat.kif 2209-2209 | |
| (format ChineseTraditionalLanguage seatsHeldInOrganization "%1 %n 是 對於 %3 舉辦在組織 %2 的 seats ") | domainEnglishFormat.kif 2210-2210 | |
| (format ChineseLanguage seatsHeldInOrganization "%1 %n 是 对于 %3 举办在组织 %2 的 seats ") | domainEnglishFormat.kif 2211-2211 | |
| (termFormat EnglishLanguage seatsHeldInOrganization "seats held in organization") | domainEnglishFormat.kif 51742-51742 | |
| (termFormat ChineseTraditionalLanguage seatsHeldInOrganization "在組織中舉行的席位") | domainEnglishFormat.kif 51743-51743 | |
| (termFormat ChineseLanguage seatsHeldInOrganization "在组织中举行的席位") | domainEnglishFormat.kif 51744-51744 |
|