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 子類 薩帕羅語 and 口語人類語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14369-14369 例 andoa語言 and 薩帕羅語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14377-14377 例 阿拉貝拉語言 and 薩帕羅語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14386-14386 例 aushiri語言 and 薩帕羅語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14392-14392 例 cahuarano語言 and 薩帕羅語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14398-14398 例 iquito語言 and 薩帕羅語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14405-14405 例 omurano語言 and 薩帕羅語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14410-14410 例 薩帕羅語 and 薩帕羅語
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