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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TokuNoShimaLanguage

Sigma KEE - TokuNoShimaLanguage
TokuNoShimaLanguage(德之岛语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11401-11410
No TPTP formula. May not be expressible in strict first order. Languages.kif 11400-11400 德之岛语北部的amami冲绳语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58358-58358
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58357-58357
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58356-58356


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