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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndoAryanLanguage

 Sigma KEE - IndoAryanLanguage
IndoAryanLanguage(印度雅利安語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 8655-8656
No TPTP formula. May not be expressible in strict first order. Languages.kif 8654-8654 子類 印度雅利安語 and 印度伊朗語

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14577-14577 例 AssameseLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14583-14583 例 BengaliLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14584-14584 例 BihariLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14611-14611 例 DhivehiLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14620-14620 例 HindiLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14651-14651 例 MarathiLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14660-14660 例 NepaliLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14666-14666 例 OriyaLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14669-14669 例 PaliLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14671-14671 例 SanskritLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14677-14677 例 SindhiLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14673-14673 例 SinhaleseLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14691-14691 例 UrduLanguage and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8660-8660 子類 中區印度雅利安語 and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. Languages.kif 8796-8796 子類 西北區印度雅利安語 and 印度雅利安語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29671-29671
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29670-29670
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29669-29669


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