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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ZaparoanLanguage

 Sigma KEE - ZaparoanLanguage
ZaparoanLanguage(萨帕罗语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14364-14367
No TPTP formula. May not be expressible in strict first order. Languages.kif 14363-14363 萨帕罗语 是 口语人类语言 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14369-14369 Andoa语言 是 萨帕罗语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14377-14377 阿拉贝拉语言 是 萨帕罗语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14386-14386 Aushiri语言 是 萨帕罗语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14392-14392 Cahuarano语言 是 萨帕罗语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14398-14398 Iquito语言 是 萨帕罗语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14405-14405 Omurano语言 是 萨帕罗语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14410-14410 萨帕罗语 是 萨帕罗语 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64087-64087
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64086-64086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64085-64085


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