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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ScotsGaelicLanguage

 Sigma KEE - ScotsGaelicLanguage
ScotsGaelicLanguage(蘇格蘭語蓋爾語)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7061-7078
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7818-7818
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7819-7819
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7820-7820
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7821-7821
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7822-7822
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7823-7823
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6843-6843
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7824-7824
No TPTP formula. May not be expressible in strict first order. Languages.kif 7060-7060 例 蘇格蘭語蓋爾語 and goidelic語言

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51609-51609
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51608-51608
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51607-51607

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14728-14728 "gd" 在 ISO-639-1 denotes 蘇格蘭語蓋爾語


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