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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - splitFor
splitFor

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


(format ChineseLanguage splitFor "%1 %n 是 对于 %2 和 %3 的 split ") domainEnglishFormat.kif 2331-2331
(format ChineseTraditionalLanguage splitFor "%1 %n 是 對於 %2 和 %3 的 split ") domainEnglishFormat.kif 2330-2330
(format EnglishLanguage splitFor "%1 is %n split for %2 for %3") domainEnglishFormat.kif 2329-2329
(termFormat ChineseLanguage splitFor "分裂为") domainEnglishFormat.kif 54645-54645
(termFormat ChineseTraditionalLanguage splitFor "分裂為") domainEnglishFormat.kif 54644-54644
(termFormat EnglishLanguage splitFor "split for") domainEnglishFormat.kif 54643-54643


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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