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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DalmatianLanguage

 Sigma KEE - DalmatianLanguage
DalmatianLanguage(達爾馬提亞語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9515-9519
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5944-5944
No TPTP formula. May not be expressible in strict first order. Languages.kif 9514-9514 例 達爾馬提亞語 and italo達爾馬提亞浪漫語言

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18426-18426
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18425-18425
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18424-18424


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