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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GoidelicLanguage

 Sigma KEE - GoidelicLanguage
GoidelicLanguage(goidelic语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7040-7041
No TPTP formula. May not be expressible in strict first order. Languages.kif 7039-7039 Goidelic语言 是 岛屿凯尔特语 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7044-7044 爱尔兰盖尔语 是 goidelic语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 7090-7090 Manx语言 是 goidelic语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 7060-7060 苏格兰语盖尔语 是 goidelic语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 7081-7081 Shelta语言 是 goidelic语言 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26190-26190
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26189-26189
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26188-26188


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