seatsInOrganizationCount |
appearance as argument number 1 |
(documentation seatsInOrganizationCount EnglishLanguage "(seatsInOrganizationCount ?ORG ?NUMBER) means that there is a total ?NUMBER of seats in the Organization ?ORG.") | Government.kif 2034-2036 | |
(domain seatsInOrganizationCount 1 Organization) | Government.kif 2031-2031 | 组织席位数 的 1 数量 是 机构 的 instance |
(domain seatsInOrganizationCount 2 Integer) | Government.kif 2032-2032 | 组织席位数 的 2 数量 是 整数 的 instance |
(instance seatsInOrganizationCount BinaryPredicate) | Government.kif 2030-2030 | 组织席位数 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage seatsInOrganizationCount "%2 %n 是 %1 在组织 的数量 seats ") | domainEnglishFormat.kif 2211-2211 | |
(format ChineseTraditionalLanguage seatsInOrganizationCount "%2 %n 是 %1 在組織 的數量 seats ") | domainEnglishFormat.kif 2210-2210 | |
(format EnglishLanguage seatsInOrganizationCount "%2 is %n a seats in organization count of %1") | domainEnglishFormat.kif 2209-2209 | |
(termFormat ChineseLanguage seatsInOrganizationCount "组织席位数") | domainEnglishFormat.kif 51755-51755 | |
(termFormat ChineseTraditionalLanguage seatsInOrganizationCount "組織席位數") | domainEnglishFormat.kif 51754-51754 | |
(termFormat EnglishLanguage seatsInOrganizationCount "seats in organization count") | domainEnglishFormat.kif 51753-51753 |
antecedent |
(=> (and (seatsInOrganizationCount ?ORG ?SEATS) (memberCount ?ORG ?MEMBERS)) (greaterThanOrEqualTo ?SEATS ?MEMBERS)) |
Government.kif 2038-2042 |