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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UniqueList

 Sigma KEE - UniqueList
UniqueList(unique list)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1957-1959
No TPTP formula. May not be expressible in strict first order. Merge.kif 2905-2908
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 589-591
No TPTP formula. May not be expressible in strict first order. Merge.kif 2903-2903 Unique list is a subclass of list

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 914-914
No TPTP formula. May not be expressible in strict first order. english_format.kif 1035-1035
No TPTP formula. May not be expressible in strict first order. french_format.kif 590-590
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 120-120
No TPTP formula. May not be expressible in strict first order. terms-it.txt 123-123
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2275-2275
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 542-542
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 125-125
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 157-157
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 611-611
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 124-124

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2910-2915


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