Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  seatsInOrganizationCount

Sigma KEE - seatsInOrganizationCount
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 2032-2034
(domain seatsInOrganizationCount 1 Organization) Government.kif 2029-2029 The number 1 argument of seats in organization count is an instance of organization
(domain seatsInOrganizationCount 2 Integer) Government.kif 2030-2030 The number 2 argument of seats in organization count is an instance of integer
(instance seatsInOrganizationCount BinaryPredicate) Government.kif 2028-2028 seats in organization count is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage seatsInOrganizationCount "%2 %n 是 %1 在组织 的数量 seats ") domainEnglishFormat.kif 2215-2215
(format ChineseTraditionalLanguage seatsInOrganizationCount "%2 %n 是 %1 在組織 的數量 seats ") domainEnglishFormat.kif 2214-2214
(format EnglishLanguage seatsInOrganizationCount "%2 is %n a seats in organization count of %1") domainEnglishFormat.kif 2213-2213
(termFormat ChineseLanguage seatsInOrganizationCount "组织席位数") domainEnglishFormat.kif 51757-51757
(termFormat ChineseTraditionalLanguage seatsInOrganizationCount "組織席位數") domainEnglishFormat.kif 51756-51756
(termFormat EnglishLanguage seatsInOrganizationCount "seats in organization count") domainEnglishFormat.kif 51755-51755

antecedent
-------------------------


(=>
    (and
        (seatsInOrganizationCount ?ORG ?SEATS)
        (memberCount ?ORG ?MEMBERS))
    (greaterThanOrEqualTo ?SEATS ?MEMBERS))
Government.kif 2036-2040


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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