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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KoreanPeninsula

 Sigma KEE - IrishGaelicLanguage
IrishGaelicLanguage(愛爾蘭蓋爾語)
more pictures...

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 例 愛爾蘭蓋爾語 and goidelic語言

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" 在 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