memberTypeCount - Sigma Knowledge base Browser

appearance as argument number 2

(format EnglishLanguage memberTypeCount "%1 is %n{isn't} member type count %2 for %3")	domainEnglishFormat.kif 1701-1701
(format ChineseTraditionalLanguage memberTypeCount "%1 %n{不是} 對於 %3 的 member 類別計數 %2 ")	domainEnglishFormat.kif 1702-1702
(format ChineseLanguage memberTypeCount "%1 %n{不是} 对于 %3 的 member 类别计数 %2 ")	domainEnglishFormat.kif 1703-1703
(termFormat EnglishLanguage memberTypeCount "member type count")	domainEnglishFormat.kif 37043-37043
(termFormat ChineseTraditionalLanguage memberTypeCount "會員類型計數")	domainEnglishFormat.kif 37044-37044
(termFormat ChineseLanguage memberTypeCount "会员类型计数")	domainEnglishFormat.kif 37045-37045

antecedent

(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 24949-24955	If X is member type count Y for Z, then there exists W such that W is a proper sub-collection of X, Z is a member count of W, and Y is a member type of W
(=> (and (memberCount ?GROUP ?NUMBER1) (memberTypeCount ?GROUP ?TYPE ?NUMBER2)) (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2))	Mid-level-ontology.kif 24957-24961	If X is a member count of Y and Y is member type count Z for W, then X is greater than or equal to W
(=> (and (memberTypeCount ?GROUP ?TYPE ?NUMBER) (equal ?NUMBER 0)) (not (exists (?ITEM) (and (instance ?ITEM ?TYPE) (member ?ITEM ?GROUP)))))	Mid-level-ontology.kif 24963-24971	If X is member type count Y for Z and equal Z and 0, then there doesn't exist W such that W is an instance of Y and W is a member of X

consequent

(=>
    (engineCylinders ?E ?N)
    (exists (?G ?EC)
        (and
            (instance ?G CollectionOfObjects)
            (memberTypeCount ?G EngineCylinder ?N)
            (member ?EC ?G)
            (part ?EC ?E))))

If engine X has Y cylinders, then there exist Z, W such that Z is an instance of collection, Z is member type count engine cylinder for Y, W is a member of Z, and W is a part of X

(instance memberTypeCount TernaryPredicate)	Mid-level-ontology.kif 24940-24940	member type count is an instance of ternary predicate
(domain memberTypeCount 1 Collection)	Mid-level-ontology.kif 24941-24941	The number 1 argument of member type count is an instance of collection
(domain memberTypeCount 2 Class)	Mid-level-ontology.kif 24942-24942	The number 2 argument of member type count is an instance of class
(domain memberTypeCount 3 NonnegativeInteger)	Mid-level-ontology.kif 24943-24943	The number 3 argument of member type count is an instance of nonnegative integer
(documentation memberTypeCount EnglishLanguage "(memberTypeCount ?GROUP ?TYPE ?NUMBER) means that the Collection ?GROUP has ?NUMBER members of the kind ?TYPE.")	Mid-level-ontology.kif 24945-24947	The number 3 argument of member type count is an instance of nonnegative integer