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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthernWakashanLanguage

 Sigma KEE - SouthernWakashanLanguage
SouthernWakashanLanguage(southern wakashan language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13629-13630
No TPTP formula. May not be expressible in strict first order. Languages.kif 13628-13628 Southern wakashan language is a subclass of wakashan language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13633-13633 Makah language is an instance of southern wakashan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 13646-13646 Nootka language is an instance of southern wakashan language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54282-54282
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54281-54281
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54280-54280


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