TreeView Knowledge Base Browser - Recording

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 1327-1328
(subclass Recording ContentBearingObject)	Merge.kif 1326-1326	Recording is a subclass of content bearing object

appearance as argument number 2

(subclass AudioRecording Recording)	Mid-level-ontology.kif 13760-13760	Audio recording is a subclass of recording
(subclass MotionPicture Recording)	Merge.kif 1331-1331	Motion picture is a subclass of recording
(subclass Photograph Recording)	Mid-level-ontology.kif 12757-12757	Photograph is a subclass of recording
(subclass VideoRecording Recording)	Mid-level-ontology.kif 13894-13894	Video recording is a subclass of recording
(termFormat EnglishLanguage Recording "recording")	Merge.kif 1329-1329

appearance as argument number 3

(domain albumTrack 1 Recording)	Music.kif 336-336	The number 1 argument of album track is an instance of recording
(domain produced 2 Recording)	Mid-level-ontology.kif 20008-20008	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 406-417	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 376-383	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 424-434	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) (and (record ?M ?P) (eventLocated ?P ?S) (instance ?S RecordingStudio))))	Music.kif 390-398	If studio recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then there exists a process such that the content bearing object is a record of the process and the process is located at 2 and an entity is an instance of recording studio
(=> (instance ?R Recording) (exists (?P) (and (instance ?P Process) (record ?R ?P))))	Mid-level-ontology.kif 13854-13859	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 278-285	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 367-369	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 2

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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