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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CelticLanguage

 Sigma KEE - CelticLanguage
CelticLanguage(凱爾特語)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6966-6968
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10603-10603
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9931-9931
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10601-10601
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10602-10602
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10599-10599
No TPTP formula. May not be expressible in strict first order. Languages.kif 6965-6965 子類 凱爾特語 and 印度歐洲語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6972-6972 子類 島嶼凱爾特語 and 凱爾特語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13716-13716
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13715-13715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13714-13714


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