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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BarbacoanLanguage

 Sigma KEE - BarbacoanLanguage
BarbacoanLanguage(巴巴科语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5768-5770
No TPTP formula. May not be expressible in strict first order. Languages.kif 5767-5767 巴巴科语言 是 口语人类语言 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5774-5774 Andaqui集团的语言 是 巴巴科语言 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 5787-5787 Cayapa科罗拉多语言 是 巴巴科语言 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 5816-5816 Coconucan语言 是 巴巴科语言 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 5838-5838 普什图语 是 巴巴科语言 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9864-9864
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9863-9863
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9862-9862


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