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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GuahibanLanguage

Sigma KEE - GuahibanLanguage
GuahibanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6492-6494
No TPTP formula. May not be expressible in strict first order. Languages.kif 6491-6491 GuahibanLanguage e' uma sub-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6497-6497 CuibaLanguage e' uma instancia de GuahibanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 6515-6515 GuahiboLanguage e' uma instancia de GuahibanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 6535-6535 GuayaberoLanguage e' uma instancia de GuahibanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 6548-6548 MacaguanLanguage e' uma instancia de GuahibanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 6558-6558 PlayeroLanguage e' uma instancia de GuahibanLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26850-26850
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26849-26849
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26848-26848


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