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 2070-2072
(domain seatsInOrganizationCount 1 Organization) Government.kif 2067-2067 The number 1 argument of seats in organization count is an instance of organization
(domain seatsInOrganizationCount 2 Integer) Government.kif 2068-2068 The number 2 argument of seats in organization count is an instance of integer
(instance seatsInOrganizationCount BinaryPredicate) Government.kif 2066-2066 seats in organization count is an instance of binary predicate

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 51753-51753
(termFormat ChineseTraditionalLanguage seatsInOrganizationCount "組織席位數") domainEnglishFormat.kif 51752-51752
(termFormat EnglishLanguage seatsInOrganizationCount "seats in organization count") domainEnglishFormat.kif 51751-51751

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


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


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