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

appearance as argument number 1

(documentation Recording EnglishLanguage "Recording refers to a ContentBearingObject that represents some Process that happened in real life")	Merge.kif 1380-1381
(subclass Recording ContentBearingObject)	Merge.kif 1379-1379	子類 Recording and ContentBearingObject

appearance as argument number 2

(subclass AudioRecording Recording)	Mid-level-ontology.kif 15675-15675	子類錄音 and Recording
(subclass MotionPicture Recording)	Merge.kif 1384-1384	子類 MotionPicture and Recording
(subclass Photograph Recording)	Mid-level-ontology.kif 14645-14645	子類照片 and Recording
(subclass VideoRecording Recording)	Mid-level-ontology.kif 15809-15809	子類視頻錄製 and Recording
(termFormat EnglishLanguage Recording "recording")	Merge.kif 1382-1382	子類視頻錄製 and Recording

appearance as argument number 3

(domain albumTrack 1 Recording)	Music.kif 338-338	域 albumTrack, 1 and Recording
(domain produced 2 Recording)	Mid-level-ontology.kif 22315-22315	域 produced, 2 and Recording
(domain producedOn 1 Recording)	Music.kif 93-93	域 producedOn, 1 and Recording
(domain recordingCompany 1 Recording)	Music.kif 131-131	域 recordingCompany, 1 and Recording
(domain recordingLength 1 Recording)	Music.kif 113-113	域 recordingLength, 1 and 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 408-419	attribute Object and DemoRecording 例 Object and Recording 有目的 Object and entity entity and ObjectUSIC 例 entity and 示範 Object 是個 ObjectUSIC 的 record 患者 entity and ObjectUSIC 目的地 entity and entity 例 entity and 一群人
(=> (and (attribute ?M LiveRecording) (instance ?M Recording)) (exists (?P) (and (instance ?P Performance) (record ?M ?P))))	Music.kif 378-385	attribute ContentBearingObject and LiveRecording 例 ContentBearingObject and Recording Physical 例 Physical and 性能 ContentBearingObject 是個 Physical 的 record
(=> (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 426-436	attribute Object and MashupRecording 例 Object and Recording Object Object, Music and Music Object 是 Music 的 recording Object 是 Music 的 recording 等於 Music and Music 部分 Object and Object 部分 Object and Object
(=> (and (attribute ?M StudioRecording) (instance ?M Recording)) (exists (?P ?S) (and (record ?M ?P) (eventLocated ?P ?S) (instance ?S RecordingStudio))))	Music.kif 392-400	attribute ContentBearingObject and StudioRecording 例 ContentBearingObject and Recording Process Object ContentBearingObject 是個 Process 的 record Process 是 located 在 Object 例 Object and RecordingStudio
(=> (instance ?R Recording) (exists (?P) (and (instance ?P Process) (record ?R ?P))))	Mid-level-ontology.kif 15769-15774	例 ContentBearingObject and Recording Physical 例 Physical and Process ContentBearingObject 是個 Physical 的 record

consequent

(=> (albumArtist ?A ?P) (exists (?R ?M) (and (instance ?R Recording) (inList ?R ?A) (record ?R ?M) (agent ?M ?P))))	Music.kif 280-287	CognitiveAgent 是在 Album 上的表演者 ContentBearingObject Process 例 ContentBearingObject and Recording 在列表中 ContentBearingObject and Album ContentBearingObject 是個 Process 的 record agent Process and CognitiveAgent
(=> (attribute ?M RecordingAttribute) (instance ?M Recording))	Music.kif 369-371	attribute Object and RecordingAttribute 例 Object and Recording
(=> (instance ?L Album) (forall (?X) (=> (inList ?X ?L) (instance ?X Recording))))	Music.kif 53-58	例 List and Album Entity 在列表中 Entity and List 例 Entity and 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	例 Object and RecordingStudio Physical 例 Physical and Device 有目的 Physical and entity entity 例 entity and Recording 儀器 entity and Physical 結果 entity and entity 位於 Physical and Object
(=> (instance ?S RecordingStudio) (hasPurpose ?S (exists (?R ?P) (and (instance ?R Recording) (result ?P ?R) (eventLocated ?P ?S)))))	Music.kif 27-34	例 Physical and RecordingStudio 有目的 Physical and entity entity 例 entity and Recording 結果 entity and entity entity 是 located 在 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