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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FiniteSet
FiniteSet

appearance as argument number 1
-------------------------


(documentation FiniteSet ChineseLanguage "这是一个包含一组有限元素的 Set。") chinese_format.kif 2312-2312
(documentation FiniteSet EnglishLanguage "A Set containing a finite number of elements.") Merge.kif 5445-5446
(subclass FiniteSet Set) Merge.kif 5443-5443 subclass FiniteSet and Set

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


(termFormat ChineseLanguage FiniteSet "有限集合") chinese_format.kif 1271-1271
(termFormat EnglishLanguage FiniteSet "finite set") english_format.kif 1763-1763

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


(=>
    (instance ?SET FiniteSet)
    (exists (?NUMBER)
        (and
            (instance ?NUMBER NonnegativeInteger)
            (equal ?NUMBER
                (CardinalityFn ?SET)))))
Merge.kif 5448-5453


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