TreeView Knowledge Base Browser - 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 2030-2032
(domain seatsInOrganizationCount 1 Organization)	Government.kif 2027-2027
(domain seatsInOrganizationCount 2 Integer)	Government.kif 2028-2028
(instance seatsInOrganizationCount BinaryPredicate)	Government.kif 2026-2026

appearance as argument number 2

(format EnglishLanguage seatsInOrganizationCount "%2 is %n a seats in organization count of %1")	domainEnglishFormat.kif 560-560
(termFormat EnglishLanguage seatsInOrganizationCount "seats in organization count")	domainEnglishFormat.kif 9049-9049

antecedent

(=>
    (and
        (seatsInOrganizationCount ?ORG ?SEATS)
        (memberCount ?ORG ?MEMBERS))
    (greaterThanOrEqualTo ?SEATS ?MEMBERS))

Government.kif 2034-2038