consequent

(<=>     (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 744-755	Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and equal the process and the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object
(=>     (and         (instance ?ATTR MusicGenre)         (attribute ?A ?ATTR))     (or         (instance ?A MakingMusic)         (instance ?A MusicRecording)))	Music.kif 513-519	If an attribute is an instance of music genre and the attribute is an attribute of an object, then the object is an instance of making music or the object is an instance of music recording
(=>     (and         (instance ?MC Music)         (realization ?MUSIC ?MC))     (instance ?MUSIC MakingMusic))	Mid-level-ontology.kif 15102-15106	If a proposition is an instance of music and a process expresses the content of the proposition, then the process is an instance of making music
(=>     (and         (instance ?OPERA Opera)         (realization ?ACT ?OPERA))     (instance ?ACT MakingMusic))	Mid-level-ontology.kif 16328-16332	If a proposition is an instance of opera and a process expresses the content of the proposition, then the process is an instance of making music
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG SportingGoodsHobbyBookAndMusicStores))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING)                 (and                     (instance ?EV Selling)                     (instance ?THING Object)                     (or                         (capability Sport instrument ?THING)                         (capability MakingMusic instrument ?THING)                         (instance ?THING Book)                         (instance ?THING MusicRecording)                         (instance ?THING MusicText))                     (patient ?EV ?THING))))))	naics.kif 7600-7618	If a collection is an instance of organization and sporting goods hobby book and music stores is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing sport as a instrument or the object is capable of doing making music as a instrument or the object is an instance of book or the object is an instance of music recording or the object is an instance of music text and the object is a patient of the agent
(=>     (and         (instance ?P MusicalPerformance)         (subProcess ?M ?P))     (instance ?M MakingMusic))	Mid-level-ontology.kif 17309-17313	If a process is an instance of musical performance and another process is a subprocess of the process, then the other process is an instance of making music
(=>     (and         (instance ?S Song)         (realization ?S ?MUSIC))     (exists (?MM ?MV ?LC ?MC)         (and             (instance ?MM MakingMusic)             (instance ?MV Singing)             (instance ?LC LyricalContent)             (instance ?MC MusicalComposition)             (patient ?MM ?MC)             (patient ?MV ?LC)             (subProcess ?MM ?MUSIC)             (subProcess ?MV ?MUSIC))))	Mid-level-ontology.kif 15132-15145	If a process is an instance of song and the process expresses the content of another process, then there exist a third process, a fourth process,, , an entity and another entity such that the third process is an instance of making music and the fourth process is an instance of singing and the entity is an instance of lyrical content and the other entity is an instance of musical composition and the other entity is a patient of the third process and the entity is a patient of the fourth process and the third process is a subprocess of the other process and the fourth process is a subprocess of the other process
(=>     (instance ?CONTEST MusicContest)     (exists (?J)         (and             (instance ?J Judging)             (forall (?A)                 (=>                     (contestParticipant ?CONTEST ?A)                     (exists (?MM)                         (and                             (agent ?MM ?A)                             (instance ?MM MakingMusic)                             (subProcess ?MM ?CONTEST)                             (patient ?J ?MM))))))))	Music.kif 1009-1022	If a contest is an instance of music contest, then there exists a process such that the process is an instance of judging and for all an agent if the agent participates in the contest, then there exists another process such that the agent is an agent of the other process and the other process is an instance of making music and the other process is a subprocess of the contest and the other process is a patient of the process
(=>     (instance ?DISCO DanceHall)     (hasPurpose ?DISCO         (exists (?DANCE ?MUSIC)             (and                 (instance ?MUSIC MakingMusic)                 (instance ?DANCE Dancing)                 (cooccur ?MUSIC ?DANCE)                 (eventLocated ?MUSIC ?DISCO)                 (eventLocated ?DANCE ?DISCO)))))	Mid-level-ontology.kif 28746-28755	If a physical is an instance of dance hall, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of making music and the entity is an instance of dancing and the other entity occurs at the same time as the entity and the other entity is located at the physical and the entity is located at the physical
(=>     (instance ?INSTRUMENT MusicalInstrument)     (capability MakingMusic instrument ?INSTRUMENT))	Merge.kif 16159-16161	If an object is an instance of musical instrument, then the object is capable of doing making music as a instrument
(=>     (instance ?M MusicRecording)     (exists (?P)         (and             (instance ?P MakingMusic)             (record ?M ?P))))	Mid-level-ontology.kif 15760-15765	If a content bearing object is an instance of music recording, then there exists a physical such that the physical is an instance of making music and the content bearing object is a record of the physical
(=>     (instance ?PERF MusicalPerformance)     (exists (?MUSIC)         (and             (instance ?MUSIC MakingMusic)             (subProcess ?MUSIC ?PERF))))	Media.kif 1821-1826	If a process is an instance of musical performance, then there exists another process such that the other process is an instance of making music and the other process is a subprocess of the process
(=>     (instance ?PERFORMANCE Performance)     (exists (?SUB)         (and             (subProcess ?SUB ?PERFORMANCE)             (or                 (instance ?SUB DramaticActing)                 (instance ?SUB MakingMusic)))))	Mid-level-ontology.kif 17227-17234	If a process is an instance of performance, then there exists another process such that the other process is a subprocess of the process and the other process is an instance of dramatic acting or the other process is an instance of making music
(=>     (instance ?X MusicText)     (capability MakingMusic patient ?X))	Mid-level-ontology.kif 15784-15786	If an object is an instance of music text, then the object is capable of doing making music as a patient
(=>     (musicGenre ?MR ElectronicDanceMusic)     (hasPurpose ?MR         (exists (?NC ?MM)             (and                 (instance ?NC NightClub)                 (instance ?MM MakingMusic)                 (patient ?MM ?MR)                 (eventLocated ?MM ?NC)))))	Music.kif 675-683	If electronic dance music is in the genre an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of night club and the other entity is an instance of making music and the object is a patient of the other entity and the other entity is located at the entity
(=>     (musicInterpretation ?MR ?MC)     (exists (?P)         (and             (instance ?P MakingMusic)             (realization ?P ?MC)             (record ?MR ?P))))	Music.kif 180-186	If a music recording is a recording of a music, then there exists a process such that the process is an instance of making music and the process expresses the content of the music and the music recording is a record of the process

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