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 19103-19105
(domain memberTypeCount 1 Collection) Mid-level-ontology.kif 19099-19099
(domain memberTypeCount 2 SetOrClass) Mid-level-ontology.kif 19100-19100
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 19101-19101
(instance memberTypeCount TernaryPredicate) Mid-level-ontology.kif 19098-19098

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

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


(=>
    (and
        (memberCount ?GROUP ?NUMBER1)
        (memberTypeCount ?GROUP ?TYPE ?NUMBER2))
    (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2))
Mid-level-ontology.kif 19115-19119
(=>
    (and
        (memberTypeCount ?GROUP ?TYPE ?NUMBER)
        (equal ?NUMBER 0))
    (not
        (exists (?ITEM)
            (and
                (instance ?ITEM ?TYPE)
                (member ?ITEM ?GROUP)))))
Mid-level-ontology.kif 19121-19129
(=>
    (memberTypeCount ?GROUP ?TYPE ?NUMBER)
    (exists (?SUBGROUP)
        (and
            (subCollection ?SUBGROUP ?GROUP)
            (memberCount ?SUBGROUP ?NUMBER)
            (memberType ?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 19107-19113

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


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


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