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

Formal Language: 



KB Term:  Term intersection
English Word: 

  record

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 11945-11948
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 11941-11943
s__domain(s__record__m,1,s__ContentBearingObject)

Mid-level-ontology.kif 11950-11950
s__domain(s__record__m,2,s__Physical)

Mid-level-ontology.kif 11951-11951
s__instance(s__record__m,s__BinaryPredicate)

Mid-level-ontology.kif 11940-11940
s__subrelation(s__record__m,s__represents__m)

Mid-level-ontology.kif 11939-11939

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


s__format(s__EnglishLanguage,s__record__m,'%1 is a record of %2')

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

Mid-level-ontology.kif 11944-11944

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


( ! [V__MR,V__A,V__M,V__MM] :
   ((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__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 460-473
( ! [V__MR,V__MM] :
   ((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 526-534
( ! [V__MR,V__MM] :
   ((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 561-571
( ! [V__REC,V__PHYS] :
   (s__record(V__REC,V__PHYS)
   =>
   s__equivalentContentInstance(V__REC,V__PHYS))
)

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

Mid-level-ontology.kif 11957-11962

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


( ! [V__A,V__P] :
   (s__albumArtist(V__A,V__P)
   =>
   (? [V__R,V__M] :
     (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 274-281
No TPTP formula. May not be expressible in strict first order. Music.kif 411-422
( ! [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 381-388
( ! [V__M,V__S] :
   ((s__attribute(V__M,s__StudioRecording) &
       s__instance(V__M,s__Recording))
     =>
     (? [V__P] :
       (s__record(V__M,V__P)
       &
       s__eventLocated(V__P,V__S)
     &
     s__instance(V__S,s__RecordingStudio))))
)

Music.kif 395-403
( ! [V__MR,V__A,V__M,V__MM] :
   ((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__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 460-473
No TPTP formula. May not be expressible in strict first order. Music.kif 729-736
( ! [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 12010-12015
( ! [V__MR] :
   (s__musicGenre(V__MR,s__ElectronicMusic) =>
     (? [V__DV,V__MM] :
       (s__instance(V__DV,s__ElectricDevice) &
         s__record(V__MR,V__MM)
       &
       s__instrument(V__MM,V__DV))))
)

Music.kif 691-697
( ! [V__MR,V__MC] :
   (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__MR,V__A] :
   (s__songArtist(V__MR,V__A)
   =>
   (? [V__M] :
     (s__record(V__MR,V__M)
     &
     s__agent(V__M,V__A))))
)

Music.kif 210-215


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