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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UralicLanguage

 Sigma KEE - UralicLanguage
UralicLanguage(uralic语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13542-13543
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10324-10324
No TPTP formula. May not be expressible in strict first order. Languages.kif 13541-13541 Uralic语言 是 口语人类语言 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14613-14613 EstonianLanguage 是 uralic语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14430-14430 FinnishLanguage 是 uralic语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14622-14622 HungarianLanguage 是 uralic语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14640-14640 KomiLanguage 是 uralic语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14674-14674 NorthernSamiLanguage 是 uralic语言 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60680-60680
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60679-60679
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60678-60678


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