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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TuteloLanguage

Sigma KEE - TuteloLanguage
TuteloLanguage(tutelo语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12946-12949
No TPTP formula. May not be expressible in strict first order. Languages.kif 12945-12945 Tutelo语言tutelo集团的语言instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59660-59660
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59659-59659
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59658-59658


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