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 24310-24312
(domain memberTypeCount 1 Collection) Mid-level-ontology.kif 24306-24306 Le nombre 1 argument de memberTypeCount est une instance de collection
(domain memberTypeCount 2 Class) Mid-level-ontology.kif 24307-24307 Le nombre 2 argument de memberTypeCount est une instance de classe
(domain memberTypeCount 3 NonnegativeInteger) Mid-level-ontology.kif 24308-24308 Le nombre 3 argument de memberTypeCount est une instance de nombre entier non n�gatif
(instance memberTypeCount TernaryPredicate) Mid-level-ontology.kif 24305-24305 memberTypeCount est une instance de pr�dicat ternaire

appearance as argument number 2
-------------------------


(format ChineseLanguage memberTypeCount "%1 %n{不是} 对于 %3 的 member 类别计数 %2 ") domainEnglishFormat.kif 1703-1703
(format ChineseTraditionalLanguage memberTypeCount "%1 %n{不是} 對於 %3 的 member 類別計數 %2 ") domainEnglishFormat.kif 1702-1702
(format EnglishLanguage memberTypeCount "%1 is %n{isn't} member type count %2 for %3") domainEnglishFormat.kif 1701-1701
(termFormat ChineseLanguage memberTypeCount "会员类型计数") domainEnglishFormat.kif 37052-37052
(termFormat ChineseTraditionalLanguage memberTypeCount "會員類型計數") domainEnglishFormat.kif 37051-37051
(termFormat EnglishLanguage memberTypeCount "member type count") domainEnglishFormat.kif 37050-37050

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


(=>
    (and
        (memberCount ?GROUP ?NUMBER1)
        (memberTypeCount ?GROUP ?TYPE ?NUMBER2))
    (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2))
Mid-level-ontology.kif 24322-24326
(=>
    (and
        (memberTypeCount ?GROUP ?TYPE ?NUMBER)
        (equal ?NUMBER 0))
    (not
        (exists (?ITEM)
            (and
                (instance ?ITEM ?TYPE)
                (member ?ITEM ?GROUP)))))
Mid-level-ontology.kif 24328-24336
(=>
    (memberTypeCount ?GROUP ?TYPE ?NUMBER)
    (exists (?SUBGROUP)
        (and
            (subCollection ?SUBGROUP ?GROUP)
            (memberCount ?SUBGROUP ?NUMBER)
            (memberType ?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 24314-24320

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


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


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