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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 组织席位数 的 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


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



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