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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LenguaLanguage

Sigma KEE - LenguaLanguage
LenguaLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11976-11984
No TPTP formula. May not be expressible in strict first order. Languages.kif 11975-11975 LenguaLanguage est une instance de MascoianLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34049-34049
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34048-34048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34047-34047


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