memberTypeCount |
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 24310-24312 | |
(domain memberTypeCount 1 Collection) | Mid-level-ontology.kif 24306-24306 | Le nombre 1 argument de memberTypeCount est une instance de collection |
(domain memberTypeCount 2 Class) | Mid-level-ontology.kif 24307-24307 | Le nombre 2 argument de memberTypeCount est une instance de classe |
(domain memberTypeCount 3 NonnegativeInteger) | Mid-level-ontology.kif 24308-24308 | Le nombre 3 argument de memberTypeCount est une instance de nombre entier non n�gatif |
(instance memberTypeCount TernaryPredicate) | Mid-level-ontology.kif 24305-24305 | memberTypeCount est une instance de pr�dicat ternaire |
appearance as argument number 2 |
![]() |
(format ChineseLanguage memberTypeCount "%1 %n{不是} 对于 %3 的 member 类别计数 %2 ") | domainEnglishFormat.kif 1703-1703 | |
(format ChineseTraditionalLanguage memberTypeCount "%1 %n{不是} 對於 %3 的 member 類別計數 %2 ") | domainEnglishFormat.kif 1702-1702 | |
(format EnglishLanguage memberTypeCount "%1 is %n{isn't} member type count %2 for %3") | domainEnglishFormat.kif 1701-1701 | |
(termFormat ChineseLanguage memberTypeCount "会员类型计数") | domainEnglishFormat.kif 37052-37052 | |
(termFormat ChineseTraditionalLanguage memberTypeCount "會員類型計數") | domainEnglishFormat.kif 37051-37051 | |
(termFormat EnglishLanguage memberTypeCount "member type count") | domainEnglishFormat.kif 37050-37050 |
antecedent |
![]() |
(=> (and (memberCount ?GROUP ?NUMBER1) (memberTypeCount ?GROUP ?TYPE ?NUMBER2)) (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)) |
Mid-level-ontology.kif 24322-24326 | |
(=> (and (memberTypeCount ?GROUP ?TYPE ?NUMBER) (equal ?NUMBER 0)) (not (exists (?ITEM) (and (instance ?ITEM ?TYPE) (member ?ITEM ?GROUP))))) |
Mid-level-ontology.kif 24328-24336 |
|
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE)))) |
Mid-level-ontology.kif 24314-24320 |
|
consequent |
![]() |
(=> (engineCylinders ?E ?N) (exists (?G ?EC) (and (instance ?G Collection) (memberTypeCount ?G EngineCylinder ?N) (member ?EC ?G) (part ?EC ?E)))) |
Cars.kif 4592-4599 |
|
![]() |
![]() |