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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - record
record

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


s__comment(s__record__m,'"Adding a more specific relation than represents. While represents can be something like a Logo that represents a Brand, record is more strict in the sense that it is an accurate rendering of some Process that occurred in real life. (09-14-2011)."','"KJN"')

 Mid-level-ontology.kif 11951-11954
s__documentation(s__record__m,s__EnglishLanguage,'"(record ?OBJ ?PHYS), a more specific relationship than represents, means that some Physical ?PHYS is captured and interpreted into a ContentBearingObject that is stored in some DataStorageDevice"')

 Mid-level-ontology.kif 11947-11949
s__domain(s__record__m,n__1,s__ContentBearingObject)

 Mid-level-ontology.kif 11956-11956 The number 1 argument of record is an instance of content bearing object
s__domain(s__record__m,n__2,s__Physical)

 Mid-level-ontology.kif 11957-11957 The number 2 argument of record is an instance of physical
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__record__m,s__BinaryPredicate)

 Mid-level-ontology.kif 11946-11946 record is an instance of binary predicate
s__subrelation(s__record__m,s__represents__m)

 Mid-level-ontology.kif 11945-11945 record is a subrelation of represents

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


s__format(s__ChineseLanguage,s__record__m,'"%1 是个 %2 的 record "')

 domainEnglishFormat.kif 4351-4351
s__format(s__ChineseTraditionalLanguage,s__record__m,'"%1 是個 %2 的 record "')

 domainEnglishFormat.kif 4350-4350
s__format(s__EnglishLanguage,s__record__m,'"%1 is a record of %2"')

 domainEnglishFormat.kif 4349-4349
s__termFormat(s__EnglishLanguage,s__record__m,'"record"')

 Mid-level-ontology.kif 11950-11950

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


( ! [V__A,V__MR,V__M,V__MM] :
   ((s__instance(V__A,s__CognitiveAgent) &
       s__instance(V__M,s__Music) &
       s__instance(V__MM,s__Physical))
     =>
     (s__attribute(V__MR,s__CoverRecording) &
       s__instance(V__MR,s__MusicRecording) &
       s__songArtist(V__MR,V__A)
     &
     s__musicInterpretation(V__MR,V__M)
   &
   s__record(V__MR,V__MM))
=>
( ? [V__ORIG, V__ARTIST, V__MUSIC] :
((s__instance(V__ORIG,s__MusicRecording) &
     s__instance(V__ARTIST,s__CognitiveAgent) &
     s__instance(V__MUSIC,s__Physical) &
     (s__musicInterpretation(V__ORIG,V__M)
     &
     s__songArtist(V__ORIG,V__ARTIST)
   &
   ~((V__A = V__ARTIST))
   &
   s__record(V__ORIG,V__MUSIC)
&
s__before(s__WhenFn(V__MUSIC)
,s__WhenFn(V__MM))))))
)
)

 Music.kif 454-467
( ! [V__MR,V__MM] :
   ((s__instance(V__MR,s__ContentBearingObject) &
       s__instance(V__MM,s__Process))
     =>
     (s__musicGenre(V__MR,s__Acapella) &
       s__record(V__MR,V__MM))
   =>
   ~(( ? [V__MI] :
       ((s__instance(V__MI,s__MakingInstrumentalMusic) &
           s__subProcess(V__MI,V__MM)))))
)
)

 Music.kif 520-528
( ! [V__MR,V__MM] :
   ((s__instance(V__MR,s__ContentBearingObject) &
       s__instance(V__MM,s__Process))
     =>
     (s__musicGenre(V__MR,s__AcousticMusic) &
       s__record(V__MR,V__MM))
   =>
   ~(( ? [V__I, V__ED] :
       ((s__instance(V__I,s__MusicalInstrument) &
           s__instrument(V__MM,V__I)
         &
         s__instance(V__ED,s__ElectricDevice) &
         s__part(V__ED,V__I)))))
)
)

 Music.kif 555-565
( ! [V__REC,V__PHYS] :
   ((s__instance(V__REC,s__ContentBearingObject) &
       s__instance(V__PHYS,s__ContentBearingPhysical))
     =>
     s__record(V__REC,V__PHYS)
   =>
   s__equivalentContentInstance(V__REC,V__PHYS)
)
)

 Mid-level-ontology.kif 11959-11961
( ! [V__REC,V__PHYS] :
   ((s__instance(V__REC,s__ContentBearingObject) &
       s__instance(V__PHYS,s__Physical))
     =>
     s__record(V__REC,V__PHYS)
   =>
   ( ? [V__DS] :
     ((s__instance(V__DS,s__DataStorageDevice) &
         s__stored(V__REC,V__DS))))
)
)

 Mid-level-ontology.kif 11963-11968

consequent
-------------------------


( ! [V__P,V__A] :
   ((s__instance(V__P,s__CognitiveAgent) &
       s__instance(V__A,s__Album))
     =>
     s__albumArtist(V__A,V__P)
   =>
   ( ? [V__R, V__M] :
     ((s__instance(V__M,s__Process) &
         (s__instance(V__R,s__Recording) &
           s__inList(V__R,V__A)
         &
         s__record(V__R,V__M)
       &
       s__agent(V__M,V__P)))))
)
)

 Music.kif 277-284
No TPTP formula. May not be expressible in strict first order. Music.kif 405-416
( ! [V__M] :
   ((s__attribute(V__M,s__LiveRecording) &
       s__instance(V__M,s__Recording))
     =>
     ( ? [V__P] :
       ((s__instance(V__P,s__Performance) &
           s__record(V__M,V__P))))
   )
)

 Music.kif 375-382
( ! [V__S,V__M] :
   ((s__attribute(V__M,s__StudioRecording) &
       s__instance(V__M,s__Recording))
     =>
     ( ? [V__P] :
       ((s__instance(V__P,s__Process) &
           (s__record(V__M,V__P)
           &
           s__eventLocated(V__P,V__S)
         &
         s__instance(V__S,s__RecordingStudio)))))
)
)

 Music.kif 389-397
( ! [V__A,V__MR,V__M,V__MM] :
   ((s__instance(V__A,s__CognitiveAgent) &
       s__instance(V__M,s__Music) &
       s__instance(V__MM,s__Physical))
     =>
     (s__attribute(V__MR,s__CoverRecording) &
       s__instance(V__MR,s__MusicRecording) &
       s__songArtist(V__MR,V__A)
     &
     s__musicInterpretation(V__MR,V__M)
   &
   s__record(V__MR,V__MM))
=>
( ? [V__ORIG, V__ARTIST, V__MUSIC] :
((s__instance(V__ORIG,s__MusicRecording) &
     s__instance(V__ARTIST,s__CognitiveAgent) &
     s__instance(V__MUSIC,s__Physical) &
     (s__musicInterpretation(V__ORIG,V__M)
     &
     s__songArtist(V__ORIG,V__ARTIST)
   &
   ~((V__A = V__ARTIST))
   &
   s__record(V__ORIG,V__MUSIC)
&
s__before(s__WhenFn(V__MUSIC)
,s__WhenFn(V__MM))))))
)
)

 Music.kif 454-467
No TPTP formula. May not be expressible in strict first order. Music.kif 723-730
( ! [V__M] :
   (s__instance(V__M,s__MusicRecording) =>
     ( ? [V__P] :
       ((s__instance(V__P,s__MakingMusic) &
           s__record(V__M,V__P))))
   )
)

 Mid-level-ontology.kif 12023-12028
( ! [V__R] :
   (s__instance(V__R,s__Recording) =>
     ( ? [V__P] :
       ((s__instance(V__P,s__Process) &
           s__record(V__R,V__P))))
   )
)

 Mid-level-ontology.kif 12011-12016
( ! [V__MR] :
   (s__instance(V__MR,s__ContentBearingObject) =>
     s__musicGenre(V__MR,s__ElectronicMusic) =>
     ( ? [V__DV, V__MM] :
       ((s__instance(V__MM,s__Process) &
           (s__instance(V__DV,s__ElectricDevice) &
             s__record(V__MR,V__MM)
           &
           s__instrument(V__MM,V__DV)))))
)
)

 Music.kif 685-691
( ! [V__MR,V__MC] :
   ((s__instance(V__MR,s__MusicRecording) &
       s__instance(V__MC,s__Music))
     =>
     s__musicInterpretation(V__MR,V__MC)
   =>
   ( ? [V__P] :
     ((s__instance(V__P,s__MakingMusic) &
         s__realization(V__P,V__MC)
       &
       s__record(V__MR,V__P))))
)
)

 Music.kif 178-184
( ! [V__A,V__MR] :
   ((s__instance(V__A,s__CognitiveAgent) &
       s__instance(V__MR,s__MusicRecording))
     =>
     s__songArtist(V__MR,V__A)
   =>
   ( ? [V__M] :
     ((s__instance(V__M,s__Process) &
         (s__record(V__MR,V__M)
         &
         s__agent(V__M,V__A)))))
)
)

 Music.kif 213-218


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners