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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CelticLanguage
CelticLanguage(celtic language)
more pictures...		Celtic, Celtic_language

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 Celtic language is a subclass of indo european language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6972-6972 Insular celtic language is a subclass of celtic language
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 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