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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LakotaLanguage
LakotaLanguage(lakota language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12779-12787
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10088-10088
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11325-11325
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11326-11326
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11327-11327
No TPTP formula. May not be expressible in strict first order. Languages.kif 12778-12778 Lakota 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 33163-33163
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33162-33162
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33161-33161


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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