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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ItalianLanguage
ItalianLanguage(italian language)
Italian, Old_Italian, Tuscan, italian_language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9542-9585
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7125-7125 "http://upload.wikimedia.org/wikipedia/commons/d/dc/ Map_Italophone_World_-_updated.png" is a URL depicting italian language
No TPTP formula. May not be expressible in strict first order. relations-it.txt 18-18
No TPTP formula. May not be expressible in strict first order. relations-it.txt 19-19
No TPTP formula. May not be expressible in strict first order. relations-it.txt 20-20
No TPTP formula. May not be expressible in strict first order. relations-it.txt 24-24
No TPTP formula. May not be expressible in strict first order. relations-it.txt 25-25
No TPTP formula. May not be expressible in strict first order. relations-it.txt 26-26
No TPTP formula. May not be expressible in strict first order. relations-it.txt 28-28
No TPTP formula. May not be expressible in strict first order. relations-it.txt 29-29
No TPTP formula. May not be expressible in strict first order. relations-it.txt 31-31
No TPTP formula. May not be expressible in strict first order. relations-it.txt 34-34
No TPTP formula. May not be expressible in strict first order. relations-it.txt 35-35
No TPTP formula. May not be expressible in strict first order. relations-it.txt 36-36
No TPTP formula. May not be expressible in strict first order. relations-it.txt 37-37
No TPTP formula. May not be expressible in strict first order. relations-it.txt 38-38
No TPTP formula. May not be expressible in strict first order. relations-it.txt 39-39
No TPTP formula. May not be expressible in strict first order. relations-it.txt 41-41
No TPTP formula. May not be expressible in strict first order. relations-it.txt 43-43
No TPTP formula. May not be expressible in strict first order. relations-it.txt 46-46
No TPTP formula. May not be expressible in strict first order. relations-it.txt 61-61
No TPTP formula. May not be expressible in strict first order. relations-it.txt 63-63
No TPTP formula. May not be expressible in strict first order. relations-it.txt 65-65
No TPTP formula. May not be expressible in strict first order. relations-it.txt 67-67
No TPTP formula. May not be expressible in strict first order. relations-it.txt 68-68

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5623-5623 "italian language" is the printable form of italian language in english language

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14755-14755 "it" in ISO-639-1 denotes italian language


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners