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 13794-13797
(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 13790-13792
(domain record 1 ContentBearingObject) Mid-level-ontology.kif 13799-13799 The number 1 argument of record is an instance of content bearing object
(domain record 2 Physical) Mid-level-ontology.kif 13800-13800 The number 2 argument of record is an instance of physical
(instance record BinaryPredicate) Mid-level-ontology.kif 13789-13789 record is an instance of binary predicate
(subrelation record represents) Mid-level-ontology.kif 13788-13788 record is a subrelation of represents

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


(format ChineseLanguage record "%1 是个 %2 的 record ") domainEnglishFormat.kif 4355-4355
(format ChineseTraditionalLanguage record "%1 是個 %2 的 record ") domainEnglishFormat.kif 4354-4354
(format EnglishLanguage record "%1 is a record of %2") domainEnglishFormat.kif 4353-4353
(termFormat EnglishLanguage record "record") Mid-level-ontology.kif 13793-13793

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 455-468
(=>
    (and
        (musicGenre ?MR Acapella)
        (record ?MR ?MM))
    (not
        (exists (?MI)
            (and
                (instance ?MI MakingInstrumentalMusic)
                (subProcess ?MI ?MM)))))
Music.kif 521-529
(=>
    (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 556-566
(=>
    (record ?REC ?PHYS)
    (equivalentContentInstance ?REC ?PHYS))
Mid-level-ontology.kif 13802-13804
(=>
    (record ?REC ?PHYS)
    (exists (?DS)
        (and
            (instance ?DS DataStorageDevice)
            (stored ?REC ?DS))))
Mid-level-ontology.kif 13806-13811

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


(=>
    (albumArtist ?A ?P)
    (exists (?R ?M)
        (and
            (instance ?R Recording)
            (inList ?R ?A)
            (record ?R ?M)
            (agent ?M ?P))))
Music.kif 278-285
(=>
    (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 406-417
(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))
Music.kif 376-383
(=>
    (and
        (attribute ?M StudioRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (record ?M ?P)
            (eventLocated ?P ?S)
            (instance ?S RecordingStudio))))
Music.kif 390-398
(=>
    (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 455-468
(=>
    (attribute ?MR HipHopMusic)
    (modalAttribute
        (exists (?MM ?S)
            (and
                (record ?MR ?MM)
                (instance ?S Speaking)
                (subProcess ?S ?MM))) Likely))
Music.kif 724-731
(=>
    (instance ?M MusicRecording)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (record ?M ?P))))
Mid-level-ontology.kif 13866-13871
(=>
    (instance ?R Recording)
    (exists (?P)
        (and
            (instance ?P Process)
            (record ?R ?P))))
Mid-level-ontology.kif 13854-13859
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))
Music.kif 686-692
(=>
    (musicInterpretation ?MR ?MC)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (realization ?P ?MC)
            (record ?MR ?P))))
Music.kif 178-184
(=>
    (songArtist ?MR ?A)
    (exists (?M)
        (and
            (record ?MR ?M)
            (agent ?M ?A))))
Music.kif 214-219


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