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


(comment record "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 14299-14302
(documentation record 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 14295-14297
(domain record 1 ContentBearingObject) Mid-level-ontology.kif 14304-14304 Le nombre 1 argument de record est une instance de objet exprimant un sens
(domain record 2 Physical) Mid-level-ontology.kif 14305-14305 Le nombre 2 argument de record est une instance de physique
(instance record BinaryPredicate) Mid-level-ontology.kif 14294-14294 record est une instance de pr�dicat binaire
(subrelation record represents) Mid-level-ontology.kif 14293-14293 record est une sous-relation de represents

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


(format ChineseLanguage record "%1 是个 %2 的 record ") domainEnglishFormat.kif 4346-4346
(format ChineseTraditionalLanguage record "%1 是個 %2 的 record ") domainEnglishFormat.kif 4345-4345
(format EnglishLanguage record "%1 is a record of %2") domainEnglishFormat.kif 4344-4344
(termFormat EnglishLanguage record "record") Mid-level-ontology.kif 14298-14298

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


(=>
    (and
        (attribute ?MR CoverRecording)
        (instance ?MR MusicRecording)
        (songArtist ?MR ?A)
        (musicInterpretation ?MR ?M)
        (record ?MR ?MM))
    (exists (?ORIG ?ARTIST ?MUSIC)
        (and
            (musicInterpretation ?ORIG ?M)
            (songArtist ?ORIG ?ARTIST)
            (not
                (equal ?A ?ARTIST))
            (record ?ORIG ?MUSIC)
            (before
                (WhenFn ?MUSIC)
                (WhenFn ?MM)))))		 Music.kif 457-470
(=>
    (and
        (musicGenre ?MR Acapella)
        (record ?MR ?MM))
    (not
        (exists (?MI)
            (and
                (instance ?MI MakingInstrumentalMusic)
                (subProcess ?MI ?MM)))))		 Music.kif 523-531
(=>
    (and
        (musicGenre ?MR AcousticMusic)
        (record ?MR ?MM))
    (not
        (exists (?I ?ED)
            (and
                (instance ?I MusicalInstrument)
                (instrument ?MM ?I)
                (instance ?ED ElectricDevice)
                (part ?ED ?I)))))		 Music.kif 558-568
(=>
    (record ?REC ?PHYS)
    (equivalentContentInstance ?REC ?PHYS))		 Mid-level-ontology.kif 14307-14309
(=>
    (record ?REC ?PHYS)
    (exists (?DS)
        (and
            (instance ?DS DataStorageDevice)
            (stored ?REC ?DS))))		 Mid-level-ontology.kif 14311-14316

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


(=>
    (albumArtist ?A ?P)
    (exists (?R ?M)
        (and
            (instance ?R Recording)
            (inList ?R ?A)
            (record ?R ?M)
            (agent ?M ?P))))		 Music.kif 280-287
(=>
    (and
        (attribute ?M DemoRecording)
        (instance ?M Recording))
    (hasPurpose ?M
        (exists (?D ?G ?MUSIC)
            (and
                (instance ?D Demonstrating)
                (record ?M ?MUSIC)
                (patient ?D ?MUSIC)
                (destination ?D ?G)
                (instance ?G GroupOfPeople)))))		 Music.kif 408-419
(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))		 Music.kif 378-385
(=>
    (and
        (attribute ?M StudioRecording)
        (instance ?M Recording))
    (exists (?P ?S)
        (and
            (record ?M ?P)
            (eventLocated ?P ?S)
            (instance ?S RecordingStudio))))		 Music.kif 392-400
(=>
    (and
        (attribute ?MR CoverRecording)
        (instance ?MR MusicRecording)
        (songArtist ?MR ?A)
        (musicInterpretation ?MR ?M)
        (record ?MR ?MM))
    (exists (?ORIG ?ARTIST ?MUSIC)
        (and
            (musicInterpretation ?ORIG ?M)
            (songArtist ?ORIG ?ARTIST)
            (not
                (equal ?A ?ARTIST))
            (record ?ORIG ?MUSIC)
            (before
                (WhenFn ?MUSIC)
                (WhenFn ?MM)))))		 Music.kif 457-470
(=>
    (attribute ?MR HipHopMusic)
    (modalAttribute
        (exists (?MM ?S)
            (and
                (record ?MR ?MM)
                (instance ?S Speaking)
                (subProcess ?S ?MM))) Likely))		 Music.kif 726-733
(=>
    (instance ?M MusicRecording)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (record ?M ?P))))		 Mid-level-ontology.kif 14371-14376
(=>
    (instance ?R Recording)
    (exists (?P)
        (and
            (instance ?P Process)
            (record ?R ?P))))		 Mid-level-ontology.kif 14359-14364
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))		 Music.kif 688-694
(=>
    (musicInterpretation ?MR ?MC)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (realization ?P ?MC)
            (record ?MR ?P))))		 Music.kif 180-186
(=>
    (songArtist ?MR ?A)
    (exists (?M)
        (and
            (record ?MR ?M)
            (agent ?M ?A))))		 Music.kif 216-221


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