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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TobagonianCreoleEnglishLanguage

Sigma KEE - TobagonianCreoleEnglishLanguage
TobagonianCreoleEnglishLanguage(tobagonian 克里奥尔语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 1713-1721
No TPTP formula. May not be expressible in strict first order. Languages.kif 1712-1712 Tobagonian 克里奥尔语基于东南大西洋英语的克里奥尔语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58280-58280
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58279-58279
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58278-58278


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