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 凯尔特语 是 印度欧洲语言 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6972-6972 岛屿凯尔特语 是 凯尔特语 的 subclass
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