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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IrishGaelicLanguage

 Sigma KEE - IrishGaelicLanguage
IrishGaelicLanguage(irish gaelic language)
more pictures...		Irish, Irish_Gaelic, Middle_Irish, Old_Irish

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7045-7057
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8548-8548
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9348-9348
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9352-9352
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9349-9349
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9350-9350
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9351-9351
No TPTP formula. May not be expressible in strict first order. Languages.kif 7044-7044 Irish gaelic language is an instance of goidelic language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31003-31003
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31002-31002
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31001-31001

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14729-14729 "ga" in ISO-639-1 denotes irish gaelic language


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