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 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 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