antecedent

(=>     (and         (musicGenre ?MR Acapella)         (record ?MR ?MM))     (not         (exists (?MI)             (and                 (instance ?MI MakingInstrumentalMusic)                 (subProcess ?MI ?MM)))))	Music.kif 526-534	If musicGenre a content bearing object and Acapella and record the content bearing object and a process, then there doesn't exist another process such that the other process is an instance of instrumental music and the other process is a subprocess of the process
(=>     (and         (musicGenre ?MR AcousticMusic)         (record ?MR ?MM))     (not         (exists (?I ?ED)             (and                 (instance ?I MusicalInstrument)                 (instrument ?MM ?I)                 (instance ?ED ElectricDevice)                 (part ?ED ?I)))))	Music.kif 561-571	If musicGenre a content bearing object and AcousticMusic and record the content bearing object and a process, then there don't exist an object and another object such that the object is an instance of musical instrument and the object is an instrument for the process and the other object is an instance of ElectricDevice and the other object is a part of the object
(=>     (musicGenre ?MR ChristianMusic)     (exists (?X)         (and             (attribute ?X Christian)             (refers ?MR ?X))))	Music.kif 649-654	If musicGenre an object and ChristianMusic, then there exists another object such that Christian is an attribute of the other object and the object includes a reference to the other object
(=>     (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 musicGenre an object and ElectronicDanceMusic, then the object has the purpose there exist an entity and another entity such that the entity is an instance of NightClub and the other entity is an instance of making music and the object is a patient of the other entity and event located the other entity and the entity
(=>     (musicGenre ?MR ElectronicMusic)     (exists (?DV ?MM)         (and             (instance ?DV ElectricDevice)             (record ?MR ?MM)             (instrument ?MM ?DV))))	Music.kif 691-697	If musicGenre a content bearing object and ElectronicMusic, then there exist an object and a process such that the object is an instance of ElectricDevice and record the content bearing object and the process and the object is an instrument for the process
(=>     (musicGenre ?MR ReligiousMusic)     (exists (?ATTR ?X)         (and             (instance ?ATTR ReligiousAttribute)             (attribute ?X ?ATTR)             (refers ?MR ?X))))	Music.kif 635-641	If musicGenre an object and ReligiousMusic, then there exist an attribute and another object such that the attribute is an instance of ReligiousAttribute and the attribute is an attribute of the other object and the object includes a reference to the other object

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