Recording - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Recording

Recording(recording)

master, master_copy, mastering, original, recording, tape, tape_recording, taping, transcription

appearance as argument number 1

(documentation Recording EnglishLanguage "Recording refers to a ContentBearingObject that represents some Process that happened in real life")	Merge.kif 1382-1383
(subclass Recording ContentBearingObject)	Merge.kif 1381-1381	Recording is a subclass of content bearing object

appearance as argument number 2

(subclass AudioRecording Recording)	Mid-level-ontology.kif 15683-15683	Audio recording is a subclass of recording
(subclass MotionPicture Recording)	Merge.kif 1386-1386	Motion picture is a subclass of recording
(subclass Photograph Recording)	Mid-level-ontology.kif 14653-14653	Photograph is a subclass of recording
(subclass VideoRecording Recording)	Mid-level-ontology.kif 15817-15817	Video recording is a subclass of recording
(termFormat EnglishLanguage Recording "recording")	Merge.kif 1384-1384	Video recording is a subclass of recording

appearance as argument number 3

(domain albumTrack 1 Recording)	Music.kif 338-338	The number 1 argument of album track is an instance of recording
(domain produced 2 Recording)	Mid-level-ontology.kif 22325-22325	The number 2 argument of produced is an instance of recording
(domain producedOn 1 Recording)	Music.kif 93-93	The number 1 argument of produced on is an instance of recording
(domain recordingCompany 1 Recording)	Music.kif 131-131	The number 1 argument of recording company is an instance of recording
(domain recordingLength 1 Recording)	Music.kif 113-113	The number 1 argument of recording length is an instance of recording

antecedent

(=> (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 an object and the object is an instance of recording, then the object has the purpose there exist an entity, another entity and the objectUSIC such that the entity is an instance of demonstrating and the object is a record of the objectUSIC and the objectUSIC is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of group of people
(=> (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 a content bearing object and the content bearing object is an instance of recording, then there exists a physical such that the physical is an instance of performance and the content bearing object is a record of the physical
(=> (and (attribute ?M MashupRecording) (instance ?M Recording)) (exists (?M1 ?M2 ?S1 ?S2) (and (musicInterpretation ?M1 ?S1) (musicInterpretation ?M2 ?S2) (not (equal ?S1 ?S2)) (part ?M1 ?M) (part ?M2 ?M))))	Music.kif 428-438	If mashup is an attribute of an object and the object is an instance of recording, then there exist the object1, the object2,, , a music and another music such that the object1 is a recording of the music and the object2 is a recording of the other music and the music is not equal to the other music and the object1 is a part of the object and the object2 is a part of the object
(=> (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 a content bearing object and the content bearing object is an instance of recording, then there exist a process and an object such that the content bearing object is a record of the process and the process is located at the object and the object is an instance of recording studio
(=> (instance ?R Recording) (exists (?P) (and (instance ?P Process) (record ?R ?P))))	Mid-level-ontology.kif 15777-15782	If a content bearing object is an instance of recording, then there exists a physical such that the physical is an instance of process and the content bearing object is a record of the physical

consequent

(=> (albumArtist ?A ?P) (exists (?R ?M) (and (instance ?R Recording) (inList ?R ?A) (record ?R ?M) (agent ?M ?P))))	Music.kif 280-287	If a cognitive agent is a performer on an album, then there exist a content bearing object and a process such that the content bearing object is an instance of recording and the content bearing object is a member of the album and the content bearing object is a record of the process and the cognitive agent is an agent of the process
(=> (attribute ?M RecordingAttribute) (instance ?M Recording))	Music.kif 371-373	If recording attribute is an attribute of an object, then the object is an instance of recording
(=> (instance ?L Album) (forall (?X) (=> (inList ?X ?L) (instance ?X Recording))))	Music.kif 53-58	If a list is an instance of album, then for all an entity if the entity is a member of the list, then the entity is an instance of recording
(=> (instance ?S RecordingStudio) (exists (?D) (and (instance ?D Device) (hasPurpose ?D (exists (?R ?P) (and (instance ?R Recording) (instrument ?P ?D) (result ?P ?R)))) (located ?D ?S))))	Music.kif 36-47	If an object is an instance of recording studio, then there exists a physical such that the physical is an instance of device and the physical has the purpose there exist an entity and another entity such that the entity is an instance of recording and the physical is an instrument for the other entity and the entity is a result of the other entity and the physical is located at the object
(=> (instance ?S RecordingStudio) (hasPurpose ?S (exists (?R ?P) (and (instance ?R Recording) (result ?P ?R) (eventLocated ?P ?S)))))	Music.kif 27-34	If a physical is an instance of recording studio, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of recording and the entity is a result of the other entity and the other entity is located at the physical

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