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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MiyakoLanguage

 Sigma KEE - MiyakoLanguage
MiyakoLanguage(miyako language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11478-11489
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10130-10130
No TPTP formula. May not be expressible in strict first order. Languages.kif 11477-11477 Miyako language is an instance of sakishima language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38133-38133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38132-38132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38131-38131


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