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 13519-13522
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 13515-13517
s__domain(s__record__m,n__1,s__ContentBearingObject)

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

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

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


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

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

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

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

Mid-level-ontology.kif 13518-13518

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 13527-13529
( ! [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 13531-13536

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 13591-13596
( ! [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 13579-13584
( ! [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 3.0 is open source software produced by Articulate Software and its partners