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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PolyphonicMusic
PolyphonicMusic(和弦音乐)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 746-749
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 745-745 和弦音乐关联属性instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46597-46597
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46596-46596
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46595-46595

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 751-762 和弦音乐 客体attribute 若且唯若 有存在 过程另一个 过程 这样 那个 客体制作音乐instance那个 过程制作音乐instance那个 另外 过程制作音乐instance那个 过程%n是那个 客体subProcess那个 另外 过程%n是那个 客体subProcess那个 过程equal 那个 另外 过程那个 过程那个 客体 同时发生 和 那个 另外 过程那个 客体 同时发生


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