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 那个 另外 过程 和 那个 过程 和 那个 客体 同时发生 和 那个 另外 过程 和 那个 客体 同时发生 |