TreeView 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