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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SlovenianLanguage

 Sigma KEE - SlovenianLanguage
SlovenianLanguage(斯洛文尼亞語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10883-10917
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6865-6865
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7882-7882
No TPTP formula. May not be expressible in strict first order. Languages.kif 10882-10882 例 斯洛文尼亞語 and 西南斯拉夫語

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53450-53450
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53449-53449
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53448-53448

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14798-14798 "sl" 在 ISO-639-1 denotes 斯洛文尼亞語


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