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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MakingVocalMusic
MakingVocalMusic(聲樂)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13726-13728
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1408-1409
No TPTP formula. May not be expressible in strict first order. Merge.kif 13723-13724
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6962-6962
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8241-8241
No TPTP formula. May not be expressible in strict first order. Merge.kif 13721-13721 子類 聲樂 and MakingMusic
No TPTP formula. May not be expressible in strict first order. Merge.kif 13722-13722 子類 聲樂 and 發聲

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13730-13730 子類 唱歌 and 聲樂
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1411-1411
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61845-61845
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61844-61844
No TPTP formula. May not be expressible in strict first order. english_format.kif 1853-1853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61842-61842

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13703-13703 劃分 MakingMusic, MakingInstrumentalMusic and 聲樂

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1807-1817