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 Le nombre 1 argument de seatsInOrganizationCount est une instance de organisation
(domain seatsInOrganizationCount 2 Integer) Government.kif 2068-2068 Le nombre 2 argument de seatsInOrganizationCount est une instance de nombre entier
(instance seatsInOrganizationCount BinaryPredicate) Government.kif 2066-2066 seatsInOrganizationCount est une instance de pr�dicat binaire

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

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