Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - memberTypeCount
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 20579-20581
(domain memberTypeCount 1 Collection) Mid-level-ontology.kif 20575-20575 The number 1 argument of member type count is an instance of collection
(domain memberTypeCount 2 SetOrClass) Mid-level-ontology.kif 20576-20576 The number 2 argument of member type count is an instance of set or class
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 20577-20577 The number 3 argument of member type count is an instance of nonnegative integer
(instance memberTypeCount TernaryPredicate) Mid-level-ontology.kif 20574-20574 member type count is an instance of ternary predicate

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

antecedent
-------------------------


(=>
    (and
        (memberCount ?GROUP ?NUMBER1)
        (memberTypeCount ?GROUP ?TYPE ?NUMBER2))
    (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2))
Mid-level-ontology.kif 20591-20595
(=>
    (and
        (memberTypeCount ?GROUP ?TYPE ?NUMBER)
        (equal ?NUMBER 0))
    (not
        (exists (?ITEM)
            (and
                (instance ?ITEM ?TYPE)
                (member ?ITEM ?GROUP)))))
Mid-level-ontology.kif 20597-20605
(=>
    (memberTypeCount ?GROUP ?TYPE ?NUMBER)
    (exists (?SUBGROUP)
        (and
            (subCollection ?SUBGROUP ?GROUP)
            (memberCount ?SUBGROUP ?NUMBER)
            (memberType ?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 20583-20589

consequent
-------------------------


(=>
    (engineCylinders ?E ?N)
    (exists (?G)
        (and
            (instance ?G Collection)
            (memberTypeCount ?G EngineCylinder ?N)
            (member ?EC ?G)
            (part ?EC ?E))))
Cars.kif 4512-4519


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners