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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AbunLanguage

Sigma KEE - AbunLanguage
AbunLanguage(abun language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13714-13720
No TPTP formula. May not be expressible in strict first order. Languages.kif 13713-13713 Abun language is an instance of north birds head language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5190-5190
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5189-5189
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5188-5188


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