Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PolyphonicMusic

 Sigma KEE - PolyphonicMusic
PolyphonicMusic(polyphonic music)contrapuntal, polyphonic, symphonic

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


(instance PolyphonicMusic RelationalAttribute) Mid-level-ontology.kif 728-728 Polyphonic music is an instance of relational attribute
(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 729-732 Polyphonic music is an instance of relational attribute

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


(termFormat EnglishLanguage PolyphonicMusic "polyphonic music") domainEnglishFormat.kif 46590-46590
(termFormat ChineseTraditionalLanguage PolyphonicMusic "和弦音樂") domainEnglishFormat.kif 46591-46591
(termFormat ChineseLanguage PolyphonicMusic "和弦音乐") domainEnglishFormat.kif 46592-46592

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 734-745 All of the following hold: (1) polyphonic music is an attribute of X if (2) only if there exist Y (3) Z such that X is an instance of making music (4) Y is an instance of making music (5) Z is an instance of making music (6) Y is a subprocess of X (7) Z is a subprocess of X (8) equal Y (9) Z (10) Y occurs at the same time as X (11) Z occurs at the same time as X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners