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 9914-9914
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 10548-10548
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. pictureList.kif 10549-10549
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 11912-11912
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11911-11911
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11910-11910

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