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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FiniteSet
FiniteSet(finite set)

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 5540-5541
(documentation FiniteSet JapaneseLanguage "有限数の要素を含む Set。") japanese_format.kif 985-985
(subclass FiniteSet Set) Merge.kif 5538-5538 Finite set is a subclass of set

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


(termFormat ChineseLanguage FiniteSet "有限集合") chinese_format.kif 1271-1271
(termFormat EnglishLanguage FiniteSet "finite set") english_format.kif 1763-1763
(termFormat FrenchLanguage FiniteSet "ensemble fini") french_format.kif 949-949
(termFormat Hindi FiniteSet "sImita samUha") terms-hindi.txt 484-484
(termFormat ItalianLanguage FiniteSet "InsiemeFinito") terms-it.txt 488-488
(termFormat JapaneseLanguage FiniteSet "有限集合") japanese_format.kif 2633-2633
(termFormat PortugueseLanguage FiniteSet "Conjunto Finito") portuguese_format.kif 901-901
(termFormat cz FiniteSet "finite set") terms-cz.txt 524-524
(termFormat ro FiniteSet "mulþime finitã") relations-ro.kif 970-970
(termFormat tg FiniteSet "takdang wakas") terms-tg.txt 489-489

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


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


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