| 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 | The number 1 argument of seats in organization count is an instance of organization |
| (domain seatsInOrganizationCount 2 Integer) | Government.kif 2032-2032 | The number 2 argument of seats in organization count is an instance of integer |
| (instance seatsInOrganizationCount BinaryPredicate) | Government.kif 2030-2030 | 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 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