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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FiniteSet

Sigma KEE - FiniteSet
FiniteSet(finite set)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2312-2312
No TPTP formula. May not be expressible in strict first order. Merge.kif 5539-5540
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 985-985
No TPTP formula. May not be expressible in strict first order. Merge.kif 5537-5537 Finite set is a subclass of set

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1271-1271
No TPTP formula. May not be expressible in strict first order. english_format.kif 1763-1763
No TPTP formula. May not be expressible in strict first order. french_format.kif 949-949
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 484-484
No TPTP formula. May not be expressible in strict first order. terms-it.txt 488-488
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2633-2633
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 901-901
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 524-524
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 970-970
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 489-489

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


No TPTP formula. May not be expressible in strict first order. 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