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 22950-22952
(domain memberTypeCount 1 Collection) Mid-level-ontology.kif 22946-22946
(domain memberTypeCount 2 Class) Mid-level-ontology.kif 22947-22947
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 22948-22948
(instance memberTypeCount TernaryPredicate) Mid-level-ontology.kif 22945-22945

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

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


(=>
    (and
        (memberCount ?GROUP ?NUMBER1)
        (memberTypeCount ?GROUP ?TYPE ?NUMBER2))
    (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2))
Mid-level-ontology.kif 22962-22966
(=>
    (and
        (memberTypeCount ?GROUP ?TYPE ?NUMBER)
        (equal ?NUMBER 0))
    (not
        (exists (?ITEM)
            (and
                (instance ?ITEM ?TYPE)
                (member ?ITEM ?GROUP)))))
Mid-level-ontology.kif 22968-22976
(=>
    (memberTypeCount ?GROUP ?TYPE ?NUMBER)
    (exists (?SUBGROUP)
        (and
            (subCollection ?SUBGROUP ?GROUP)
            (memberCount ?SUBGROUP ?NUMBER)
            (memberType ?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22954-22960

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


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