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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AssiniboineLanguage

 Sigma KEE - AssiniboineLanguage
AssiniboineLanguage(assiniboine language)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12744-12756
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8351-8351
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8911-8911
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8912-8912
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8913-8913
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8914-8914
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8915-8915
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8916-8916
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8917-8917
No TPTP formula. May not be expressible in strict first order. Languages.kif 12743-12743 Assiniboine language is an instance of dakota group language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8766-8766
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8765-8765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8764-8764


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