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 The number 1 argument of record is an instance of content bearing object
s__domain(s__record__m,2,s__Physical)

Mid-level-ontology.kif 11951-11951 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 11940-11940 record is an instance of binary predicate
s__subrelation(s__record__m,s__represents__m)

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

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 "record" is the printable form of record in english language

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


( ! [V__A,V__M,V__MM,V__MR] :
   ((s__instance(V__A,s__CognitiveAgent)s__and__ms__instance(V__M,s__Music)s__and__ms__instance(V__MM,s__Physical))
    s__=>((s__attribute(V__MR,s__CoverRecording)s__and__ms__instance(V__MR,s__MusicRecording)s__and__ms__songArtist(V__MR,V__A)
      s__and__ms__musicInterpretation(V__MR,V__M)
    s__and__ms__record(V__MR,V__MM))
s__=>(s__exists__m[V__ORIG,V__ARTIST,V__MUSIC] :
   (s__instance(V__ORIG,s__MusicRecording)s__and__ms__instance(V__ARTIST,s__CognitiveAgent)s__and__ms__instance(V__MUSIC,s__Physical)s__and__m(s__musicInterpretation(V__ORIG,V__M)
  s__and__ms__songArtist(V__ORIG,V__ARTIST)
s__and__m(s__not__m(V__As__equal__mV__ARTIST))
s__and__ms__record(V__ORIG,V__MUSIC)
s__and__ms__before(s__WhenFn(V__MUSIC)
,s__WhenFn(V__MM)))))))
)

Music.kif 460-473
( ! [V__MR,V__MM] :
   ((s__instance(V__MR,s__ContentBearingObject)s__and__ms__instance(V__MM,s__Process))
    s__=>((s__musicGenre(V__MR,s__Acapella)s__and__ms__record(V__MR,V__MM))
    s__=>(s__not__m(s__exists__m[V__MI] :
       (s__instance(V__MI,s__MakingInstrumentalMusic)s__and__ms__subProcess(V__MI,V__MM))))))
)

Music.kif 526-534
( ! [V__MR,V__MM] :
   ((s__instance(V__MR,s__ContentBearingObject)s__and__ms__instance(V__MM,s__Process))
    s__=>((s__musicGenre(V__MR,s__AcousticMusic)s__and__ms__record(V__MR,V__MM))
    s__=>(s__not__m(s__exists__m[V__I,V__ED] :
       (s__instance(V__I,s__MusicalInstrument)s__and__ms__instrument(V__MM,V__I)
      s__and__ms__instance(V__ED,s__ElectricDevice)s__and__ms__part(V__ED,V__I))))))
)

Music.kif 561-571
( ! [V__REC,V__PHYS] :
   ((s__instance(V__REC,s__ContentBearingObject)s__and__ms__instance(V__PHYS,s__ContentBearingPhysical))
    s__=>(s__record(V__REC,V__PHYS)
    s__=>s__equivalentContentInstance(V__REC,V__PHYS)))
)

Mid-level-ontology.kif 11953-11955
( ! [V__REC,V__PHYS] :
   ((s__instance(V__REC,s__ContentBearingObject)s__and__ms__instance(V__PHYS,s__Physical))
    s__=>(s__record(V__REC,V__PHYS)
    s__=>(s__exists__m[V__DS] :
       (s__instance(V__DS,s__DataStorageDevice)s__and__ms__stored(V__REC,V__DS)))))
)

Mid-level-ontology.kif 11957-11962

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


( ! [V__P,V__A] :
   ((s__instance(V__P,s__CognitiveAgent)s__and__ms__instance(V__A,s__Album))
    s__=>(s__albumArtist(V__A,V__P)
    s__=>(s__exists__m[V__R,V__M] :
       (s__instance(V__M,s__Process)s__and__m(s__instance(V__R,s__Recording)s__and__ms__inList(V__R,V__A)
      s__and__ms__record(V__R,V__M)
    s__and__ms__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__and__ms__instance(V__M,s__Recording))
    s__=>(s__exists__m[V__P] :
       (s__instance(V__P,s__Performance)s__and__ms__record(V__M,V__P))))
)

Music.kif 381-388
( ! [V__M,V__S] :
   ((s__attribute(V__M,s__StudioRecording)s__and__ms__instance(V__M,s__Recording))
    s__=>(s__exists__m[V__P] :
       (s__instance(V__P,s__Process)s__and__m(s__record(V__M,V__P)
      s__and__ms__eventLocated(V__P,V__S)
    s__and__ms__instance(V__S,s__RecordingStudio)))))
)

Music.kif 395-403
( ! [V__A,V__M,V__MM,V__MR] :
   ((s__instance(V__A,s__CognitiveAgent)s__and__ms__instance(V__M,s__Music)s__and__ms__instance(V__MM,s__Physical))
    s__=>((s__attribute(V__MR,s__CoverRecording)s__and__ms__instance(V__MR,s__MusicRecording)s__and__ms__songArtist(V__MR,V__A)
      s__and__ms__musicInterpretation(V__MR,V__M)
    s__and__ms__record(V__MR,V__MM))
s__=>(s__exists__m[V__ORIG,V__ARTIST,V__MUSIC] :
   (s__instance(V__ORIG,s__MusicRecording)s__and__ms__instance(V__ARTIST,s__CognitiveAgent)s__and__ms__instance(V__MUSIC,s__Physical)s__and__m(s__musicInterpretation(V__ORIG,V__M)
  s__and__ms__songArtist(V__ORIG,V__ARTIST)
s__and__m(s__not__m(V__As__equal__mV__ARTIST))
s__and__ms__record(V__ORIG,V__MUSIC)
s__and__ms__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)s__=>(s__exists__m[V__P] :
       (s__instance(V__P,s__MakingMusic)s__and__ms__record(V__M,V__P))))
)

Mid-level-ontology.kif 12023-12028
( ! [V__R] :
   (s__instance(V__R,s__Recording)s__=>(s__exists__m[V__P] :
       (s__instance(V__P,s__Process)s__and__ms__record(V__R,V__P))))
)

Mid-level-ontology.kif 12010-12015
( ! [V__MR] :
   (s__instance(V__MR,s__ContentBearingObject)s__=>(s__musicGenre(V__MR,s__ElectronicMusic)s__=>(s__exists__m[V__DV,V__MM] :
         (s__instance(V__MM,s__Process)s__and__m(s__instance(V__DV,s__ElectricDevice)s__and__ms__record(V__MR,V__MM)
        s__and__ms__instrument(V__MM,V__DV))))))
)

Music.kif 691-697
( ! [V__MR,V__MC] :
   ((s__instance(V__MR,s__MusicRecording)s__and__ms__instance(V__MC,s__Music))
    s__=>(s__musicInterpretation(V__MR,V__MC)
    s__=>(s__exists__m[V__P] :
       (s__instance(V__P,s__MakingMusic)s__and__ms__realization(V__P,V__MC)
      s__and__ms__record(V__MR,V__P)))))
)

Music.kif 178-184
( ! [V__A,V__MR] :
   ((s__instance(V__A,s__CognitiveAgent)s__and__ms__instance(V__MR,s__MusicRecording))
    s__=>(s__songArtist(V__MR,V__A)
    s__=>(s__exists__m[V__M] :
       (s__instance(V__M,s__Process)s__and__m(s__record(V__MR,V__M)
      s__and__ms__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