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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SiouanProperLanguage

 Sigma KEE - SiouanProperLanguage
SiouanProperLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12684-12685
No TPTP formula. May not be expressible in strict first order. Languages.kif 12683-12683 SiouanProperLanguage e' uma sub-classe de SiouanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12689-12689 CentralSiouanLanguage e' uma sub-classe de SiouanProperLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 12885-12885 MissouriValleyLanguage e' uma sub-classe de SiouanProperLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 12915-12915 SoutheasternSiouanLanguage e' uma sub-classe de SiouanProperLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53222-53222
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53221-53221
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53220-53220


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