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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AruaLanguage

Sigma KEE - AruaLanguage
AruaLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5508-5511
No TPTP formula. May not be expressible in strict first order. Languages.kif 5507-5507 AruaLanguage est une instance de AruanLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8580-8580
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8579-8579
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8578-8578


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