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
-------------------------


(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 922-925
(instance PolyphonicMusic RelationalAttribute) Mid-level-ontology.kif 921-921 instance PolyphonicMusic and 関係属性

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


(termFormat EnglishLanguage PolyphonicMusic "polyphonic music") domainEnglishFormat.kif 8189-8189 termFormat EnglishLanguage, PolyphonicMusic and "polyphonic music"

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 927-938 attribute オブジェクト and PolyphonicMusic 工程 工程 instance オブジェクト and MakingMusic instance 工程 and MakingMusic instance 工程 and MakingMusic subProcess 工程 and オブジェクト subProcess 工程 and オブジェクト equal 工程 and 工程 cooccur 工程 and オブジェクト cooccur 工程 and オブジェクト


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners