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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NortheastPashayiLanguage

Sigma KEE - NortheastPashayiLanguage
NortheastPashayiLanguage(東北巴沙伊語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 8821-8829
No TPTP formula. May not be expressible in strict first order. Languages.kif 8820-8820 東北巴沙伊語 and 帕薩伊集團的語言

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41019-41019
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41018-41018
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41017-41017


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