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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BretonLanguage
BretonLanguage(breton language)
more pictures...
Breton

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6984-7001
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9915-9915
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10554-10554
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10552-10552
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10550-10550
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10555-10555
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10553-10553
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10551-10551
No TPTP formula. May not be expressible in strict first order. Languages.kif 6983-6983 Breton language is an instance of brythonic language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11903-11903
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11902-11902
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11901-11901

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14757-14757 "br" in ISO-639-1 denotes breton 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 3.0 is open source software produced by Articulate Software and its partners