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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CleaningDevice

 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 2034-2036
(domain seatsInOrganizationCount 1 Organization) Government.kif 2031-2031
(domain seatsInOrganizationCount 2 Integer) Government.kif 2032-2032
(instance seatsInOrganizationCount BinaryPredicate) Government.kif 2030-2030

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


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