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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FiniteSet

Sigma KEE - FiniteSet
FiniteSet(ensemble fini)

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 5539-5540
(documentation FiniteSet JapaneseLanguage "有限数の要素を含む Set。") japanese_format.kif 985-985
(subclass FiniteSet Set) Merge.kif 5537-5537 Ensemble fini est une sous-classe de ensemble

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 5542-5547


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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