memberTypeCount - Sigma Knowledge base Browser

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 24299-24301
(domain memberTypeCount 1 Collection)	Mid-level-ontology.kif 24295-24295	The number 1 argument of member type count is an instance of collection
(domain memberTypeCount 2 Class)	Mid-level-ontology.kif 24296-24296	The number 2 argument of member type count is an instance of class
(domain memberTypeCount 3 NonnegativeInteger)	Mid-level-ontology.kif 24297-24297	The number 3 argument of member type count is an instance of nonnegative integer
(instance memberTypeCount TernaryPredicate)	Mid-level-ontology.kif 24294-24294	member type count is an instance of ternary predicate

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 37051-37051
(termFormat ChineseTraditionalLanguage memberTypeCount "會員類型計數")	domainEnglishFormat.kif 37050-37050
(termFormat EnglishLanguage memberTypeCount "member type count")	domainEnglishFormat.kif 37049-37049

antecedent

(=> (and (memberCount ?GROUP ?NUMBER1) (memberTypeCount ?GROUP ?TYPE ?NUMBER2)) (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2))	Mid-level-ontology.kif 24311-24315	If an integer is a member count of a collection and the collection is member type count a class for a nonnegative integer, then the integer is greater than or equal to the nonnegative integer
(=> (and (memberTypeCount ?GROUP ?TYPE ?NUMBER) (equal ?NUMBER 0)) (not (exists (?ITEM) (and (instance ?ITEM ?TYPE) (member ?ITEM ?GROUP)))))	Mid-level-ontology.kif 24317-24325	If a collection is member type count a class for a nonnegative integer and equal the nonnegative integer and 0, then there doesn't exist a physical such that the physical is an instance of the class and the physical is a member of the collection
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 24303-24309	If a collection is member type count a class for a nonnegative integer, then there exists another collection such that the other collection is a proper sub-collection of the collection and the nonnegative integer is a member count of the other collection and the class is a member type of the other collection

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