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

Formal Language: 



KB Term:  Term intersection
English Word: 

  initialList

 Sigma KEE - initialList
initialList

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1980-1983
No TPTP formula. May not be expressible in strict first order. Merge.kif 3296-3299
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 613-616
No TPTP formula. May not be expressible in strict first order. Merge.kif 3292-3292 initialList e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 3293-3293 initialList e' uma instancia de Relacao parcialmente Ordenada
No TPTP formula. May not be expressible in strict first order. Merge.kif 3294-3294 initialList e' uma sub-relacao de subList

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 129-129
No TPTP formula. May not be expressible in strict first order. english_format.kif 130-130
No TPTP formula. May not be expressible in strict first order. french_format.kif 86-86
No TPTP formula. May not be expressible in strict first order. relations-it.txt 145-145
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1913-1913
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 38-38
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 105-105
No TPTP formula. May not be expressible in strict first order. relations-de.txt 154-154
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 184-184
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 105-105
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 85-85
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 294-294
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30109-30109
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 130-130
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30108-30108
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30107-30107
No TPTP formula. May not be expressible in strict first order. terms-de.txt 46-46
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 295-295

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3315-3316 @ROW Entidade (@ROW) e' o comeco de (@ROW + Entidade)


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