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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TayoLanguage

Sigma KEE - TayoLanguage
TayoLanguage(tayo language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 2325-2333
No TPTP formula. May not be expressible in strict first order. Languages.kif 2324-2324 Tayo language is an instance of french based creole language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57127-57127
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57126-57126
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57125-57125


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