| appearance as argument number 1 |
|
| (documentation memberTypeCount EnglishLanguage "(memberTypeCount ?GROUP ?TYPE ?NUMBER) means that the Collection ?GROUP has ?NUMBER members of the kind ?TYPE.") | Mid-level-ontology.kif 22666-22668 | |
| (domain memberTypeCount 1 Collection) | Mid-level-ontology.kif 22662-22662 | O argumento numero 1 de memberTypeCount e' uma instancia de Colecao |
| (domain memberTypeCount 2 Class) | Mid-level-ontology.kif 22663-22663 | O argumento numero 2 de memberTypeCount e' uma instancia de Classe |
| (domain memberTypeCount 3 NonnegativeInteger) | Mid-level-ontology.kif 22664-22664 | O argumento numero 3 de memberTypeCount e' uma instancia de Numero Inteiro nao-negativo |
| (instance memberTypeCount TernaryPredicate) | Mid-level-ontology.kif 22661-22661 | memberTypeCount e' uma instancia de Predicado Ternario |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage memberTypeCount "%1 %n{不是} 对于 %3 的 member 类别计数 %2 ") | domainEnglishFormat.kif 1699-1699 | |
| (format ChineseTraditionalLanguage memberTypeCount "%1 %n{不是} 對於 %3 的 member 類別計數 %2 ") | domainEnglishFormat.kif 1698-1698 | |
| (format EnglishLanguage memberTypeCount "%1 is %n{isn't} member type count %2 for %3") | domainEnglishFormat.kif 1697-1697 | |
| (termFormat ChineseLanguage memberTypeCount "会员类型计数") | domainEnglishFormat.kif 37043-37043 | |
| (termFormat ChineseTraditionalLanguage memberTypeCount "會員類型計數") | domainEnglishFormat.kif 37042-37042 | |
| (termFormat EnglishLanguage memberTypeCount "member type count") | domainEnglishFormat.kif 37041-37041 |
| antecedent |
|
|
| (=> (and (memberCount ?GROUP ?NUMBER1) (memberTypeCount ?GROUP ?TYPE ?NUMBER2)) (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)) |
Mid-level-ontology.kif 22678-22682 | |
| (=> (and (memberTypeCount ?GROUP ?TYPE ?NUMBER) (equal ?NUMBER 0)) (not (exists (?ITEM) (and (instance ?ITEM ?TYPE) (member ?ITEM ?GROUP))))) |
Mid-level-ontology.kif 22684-22692 |
|
| (=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE)))) |
Mid-level-ontology.kif 22670-22676 |
|
| consequent |
|
|
| (=> (engineCylinders ?E ?N) (exists (?G ?EC) (and (instance ?G Collection) (memberTypeCount ?G EngineCylinder ?N) (member ?EC ?G) (part ?EC ?E)))) |
Cars.kif 4539-4546 |
|
|
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