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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FiniteSet

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 5540-5541
(documentation FiniteSet JapaneseLanguage "有限数の要素を含む Set。") japanese_format.kif 985-985
(subclass FiniteSet Set) Merge.kif 5538-5538 有限集合セットsubclass では %n

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