PolyphonicMusic
|
|
appearance as argument number 1 |
(documentation PolyphonicMusic EnglishLanguage "MakingMusic which has two or more parts, i.e. MakingMusic which can be divided into two or more contemporaneous subProcesses which are also instances of MakingMusic.") | Mid-level-ontology.kif 746-749 | |
(instance PolyphonicMusic RelationalAttribute) | Mid-level-ontology.kif 745-745 | 例 和弦音樂 and RelationalAttribute |
appearance as argument number 2 |
(termFormat ChineseLanguage PolyphonicMusic "和弦音乐") | domainEnglishFormat.kif 46597-46597 | |
(termFormat ChineseTraditionalLanguage PolyphonicMusic "和弦音樂") | domainEnglishFormat.kif 46596-46596 | |
(termFormat EnglishLanguage PolyphonicMusic "polyphonic music") | domainEnglishFormat.kif 46595-46595 |
antecedent |
(<=> (attribute ?MUSIC PolyphonicMusic) (exists (?PART1 ?PART2) (and (instance ?MUSIC MakingMusic) (instance ?PART1 MakingMusic) (instance ?PART2 MakingMusic) (subProcess ?PART1 ?MUSIC) (subProcess ?PART2 ?MUSIC) (not (equal ?PART1 ?PART2)) (cooccur ?PART1 ?MUSIC) (cooccur ?PART2 ?MUSIC)))) |
Mid-level-ontology.kif 751-762 | attribute Object and 和弦音樂 Process Process 例 Object and MakingMusic 例 Process and MakingMusic 例 Process and MakingMusic 子過程 Process and Object 子過程 Process and Object 等於 Process and Process 一同發生 Process and Object 一同發生 Process and Object |