consequent

(=>     (instance ?R Recording)     (exists (?P)         (and             (instance ?P Process)             (record ?R ?P))))	Mid-level-ontology.kif 15910-15915	If X is an instance of recording, then there exists Y such that Y is an instance of process and X is a record of Y
(=>     (instance ?M MusicRecording)     (exists (?P)         (and             (instance ?P MakingMusic)             (record ?M ?P))))	Mid-level-ontology.kif 15922-15927	If X is an instance of music recording, then there exists Y such that Y is an instance of making music and X is a record of Y
(=>     (musicInterpretation ?MR ?MC)     (exists (?P)         (and             (instance ?P MakingMusic)             (realization ?P ?MC)             (record ?MR ?P))))	Music.kif 180-186	If X is a recording of Y, then there exists Z such that Z is an instance of making music, Z expresses the content of Y, and X is a record of Z
(=>     (songArtist ?MR ?A)     (exists (?M)         (and             (record ?MR ?M)             (agent ?M ?A))))	Music.kif 216-221	If X is the performer in Y, then there exists Z such that Y is a record of Z and X is an agent of Z
(=>     (albumArtist ?A ?P)     (exists (?R ?M)         (and             (instance ?R Recording)             (inList ?R ?A)             (record ?R ?M)             (agent ?M ?P))))	Music.kif 280-287	If X is a performer on Y, then there exist Z, W such that Z is an instance of recording, Z is a member of Y, Z is a record of W, and X is an agent of W
(=>     (and         (attribute ?M LiveRecording)         (instance ?M Recording))     (exists (?P)         (and             (instance ?P Performance)             (record ?M ?P))))	Music.kif 380-387	If live recording is an attribute of X and X is an instance of recording, then there exists Y such that Y is an instance of performance and X is a record of Y
(=>     (and         (attribute ?M StudioRecording)         (instance ?M Recording))     (exists (?P ?S)         (and             (record ?M ?P)             (eventLocated ?P ?S)             (instance ?S RecordingStudio))))	Music.kif 394-402	If studio recording is an attribute of X and X is an instance of recording, then there exist Y, Z such that X is a record of Y, Y is located at Z, and Z is an instance of recording studio
(=>     (and         (attribute ?M DemoRecording)         (instance ?M Recording))     (hasPurpose ?M         (exists (?D ?G ?MUSIC)             (and                 (instance ?D Demonstrating)                 (record ?M ?MUSIC)                 (patient ?D ?MUSIC)                 (destination ?D ?G)                 (instance ?G GroupOfPeople)))))	Music.kif 410-421	If demo recording is an attribute of X and X is an instance of recording, then X has the purpose there exist Y, Z, W such that Y is an instance of demonstrating, X is a record of W, W is a patient of Y, Y ends up at Z, and Z is an instance of group of people
(=>     (and         (attribute ?MR CoverRecording)         (instance ?MR MusicRecording)         (songArtist ?MR ?A)         (musicInterpretation ?MR ?M)         (record ?MR ?MM))     (exists (?ORIG ?ARTIST ?MUSIC)         (and             (musicInterpretation ?ORIG ?M)             (songArtist ?ORIG ?ARTIST)             (not                 (equal ?A ?ARTIST))             (record ?ORIG ?MUSIC)             (before                 (WhenFn ?MUSIC)                 (WhenFn ?MM)))))	Music.kif 459-472	If cover recording is an attribute of X, X is an instance of music recording, Y is the performer in X, X is a recording of Z, and X is a record of W, then All of the following hold: (1) there exist V, U (2) T such that V is a recording of Z (3) U is the performer in V (4) equal Y (5) U (6) V is a record of T (7) the time of existence of T happens before the time of existence of W
(=>     (musicGenre ?MR ElectronicMusic)     (exists (?DV ?MM)         (and             (instance ?DV ElectricDevice)             (record ?MR ?MM)             (instrument ?MM ?DV))))	Music.kif 691-697	If electronic music is in the genre X, then there exist Y, Z such that Y is an instance of electric device, X is a record of Z, and Y is an instrument for Z
(=>     (attribute ?MR HipHopMusic)     (modalAttribute         (exists (?MM ?S)             (and                 (record ?MR ?MM)                 (instance ?S Speaking)                 (subProcess ?S ?MM))) Likely))	Music.kif 729-736	If hip hop music is an attribute of X, then the statement there exist Y, Z such that X is a record of Y, Z is an instance of speaking, and Z is a subprocess of Y has the modal force of likely

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