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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subList

 Sigma KEE - subList
subList

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1976-1979
No TPTP formula. May not be expressible in strict first order. Merge.kif 3123-3129
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 608-612
No TPTP formula. May not be expressible in strict first order. Merge.kif 3120-3120 The number 1 argument of sub list is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3121-3121 The number 2 argument of sub list is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3118-3118 sub list is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3119-3119 sub list is an instance of partial ordering relation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 189-189
No TPTP formula. May not be expressible in strict first order. english_format.kif 190-190
No TPTP formula. May not be expressible in strict first order. french_format.kif 114-114
No TPTP formula. May not be expressible in strict first order. relations-it.txt 274-274
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1943-1943
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 66-66
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 104-104
No TPTP formula. May not be expressible in strict first order. relations-de.txt 241-241
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 311-311
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 133-133
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 119-119
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 466-466
No TPTP formula. May not be expressible in strict first order. Merge.kif 3294-3294 initial list is a subrelation of sub list
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 190-190
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55734-55734
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55733-55733
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55732-55732
No TPTP formula. May not be expressible in strict first order. terms-de.txt 76-76


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