| 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 51786-51786 | |
| (termFormat ChineseTraditionalLanguage seatsInOrganizationCount "組織席位數") | domainEnglishFormat.kif 51785-51785 | |
| (termFormat EnglishLanguage seatsInOrganizationCount "seats in organization count") | domainEnglishFormat.kif 51784-51784 |
| antecedent |
|
|
| (=> (and (seatsInOrganizationCount ?ORG ?SEATS) (memberCount ?ORG ?MEMBERS)) (greaterThanOrEqualTo ?SEATS ?MEMBERS)) |
Government.kif 2036-2040 |
|
|
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