TreeView 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 22719-22721
(domain memberTypeCount 1 Collection)	Mid-level-ontology.kif 22715-22715	memberTypeCount の数値 1 引数はコレクションの instance では %n
(domain memberTypeCount 2 Class)	Mid-level-ontology.kif 22716-22716	memberTypeCount の数値 2 引数はクラスの instance では %n
(domain memberTypeCount 3 NonnegativeInteger)	Mid-level-ontology.kif 22717-22717	memberTypeCount の数値 3 引数は非負整数の instance では %n
(instance memberTypeCount TernaryPredicate)	Mid-level-ontology.kif 22714-22714	memberTypeCount は 3進述語の instance では %n

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 22731-22735	memberCount コレクション and 整数 memberTypeCount コレクション, クラス and 非負整数整数は非負整数 greater では　%n
(=> (and (memberTypeCount ?GROUP ?TYPE ?NUMBER) (equal ?NUMBER 0)) (not (exists (?ITEM) (and (instance ?ITEM ?TYPE) (member ?ITEM ?GROUP)))))	Mid-level-ontology.kif 22737-22745	memberTypeCount コレクション, クラス and 非負整数非負整数は 0 と equal では %n 物理物理はクラスの instance では %n 物理はコレクションの member では %n
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 22723-22729	memberTypeCount コレクション, クラス and 非負整数コレクションコレクションはコレクションの適切な sub-collection では %n memberCount コレクション and 非負整数 memberType コレクション and クラス

consequent

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

Cars.kif 4516-4523