Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RecordingAttribute
RecordingAttribute

appearance as argument number 1
-------------------------


(documentation RecordingAttribute EnglishLanguage "RecordingAttribute refers to RelationalAttributes that describe the conditions that a Recording was recorded under.") Music.kif 363-365
(subclass RecordingAttribute RelationalAttribute) Music.kif 362-362 RecordingAttribute关联属性subclass

appearance as argument number 2
-------------------------


(instance CoverRecording RecordingAttribute) Music.kif 450-450 CoverRecordingRecordingAttributeinstance
(instance DemoRecording RecordingAttribute) Music.kif 401-401 DemoRecordingRecordingAttributeinstance
(instance LiveRecording RecordingAttribute) Music.kif 372-372 LiveRecordingRecordingAttributeinstance
(instance MashupRecording RecordingAttribute) Music.kif 420-420 MashupRecordingRecordingAttributeinstance
(instance RemixRecording RecordingAttribute) Music.kif 437-437 RemixRecordingRecordingAttributeinstance
(instance StudioRecording RecordingAttribute) Music.kif 386-386 StudioRecordingRecordingAttributeinstance
(termFormat EnglishLanguage RecordingAttribute "recording attribute") Music.kif 366-366

antecedent
-------------------------


(=>
    (attribute ?M RecordingAttribute)
    (instance ?M Recording))
Music.kif 368-370


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