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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UralicLanguage

 Sigma KEE - UralicLanguage
UralicLanguage

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 UralicLanguage est une sous-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14613-14613 EstonianLanguage est une instance de UralicLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14430-14430 FinnishLanguage est une instance de UralicLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14622-14622 HungarianLanguage est une instance de UralicLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14640-14640 KomiLanguage est une instance de UralicLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14674-14674 NorthernSamiLanguage est une instance de UralicLanguage
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