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 20554-20556
(domain memberTypeCount 1 Collection) Mid-level-ontology.kif 20550-20550 The number 1 argument of member type count is an instance of collection
(domain memberTypeCount 2 SetOrClass) Mid-level-ontology.kif 20551-20551 The number 2 argument of member type count is an instance of set or class
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 20552-20552 The number 3 argument of member type count is an instance of nonnegative integer
(instance memberTypeCount TernaryPredicate) Mid-level-ontology.kif 20549-20549 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 36943-36943
(termFormat ChineseTraditionalLanguage memberTypeCount "會員類型計數") domainEnglishFormat.kif 36942-36942
(termFormat EnglishLanguage memberTypeCount "member type count") domainEnglishFormat.kif 36941-36941

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


(=>
    (and
        (memberCount ?GROUP ?NUMBER1)
        (memberTypeCount ?GROUP ?TYPE ?NUMBER2))
    (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2))
Mid-level-ontology.kif 20566-20570
(=>
    (and
        (memberTypeCount ?GROUP ?TYPE ?NUMBER)
        (equal ?NUMBER 0))
    (not
        (exists (?ITEM)
            (and
                (instance ?ITEM ?TYPE)
                (member ?ITEM ?GROUP)))))
Mid-level-ontology.kif 20572-20580
(=>
    (memberTypeCount ?GROUP ?TYPE ?NUMBER)
    (exists (?SUBGROUP)
        (and
            (subCollection ?SUBGROUP ?GROUP)
            (memberCount ?SUBGROUP ?NUMBER)
            (memberType ?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 20558-20564

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners