| 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 14355-14358 | |
| (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 14351-14353 | |
| (domain record 1 ContentBearingObject) | Mid-level-ontology.kif 14360-14360 | |
| (domain record 2 Physical) | Mid-level-ontology.kif 14361-14361 | |
| (instance record BinaryPredicate) | Mid-level-ontology.kif 14350-14350 | |
| (subrelation record represents) | Mid-level-ontology.kif 14349-14349 |
| 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 14354-14354 |
| 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 524-532 | |
| (=> (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 559-569 | |
| (=> (record ?REC ?PHYS) (equivalentContentInstance ?REC ?PHYS)) |
Mid-level-ontology.kif 14363-14365 | |
| (=> (record ?REC ?PHYS) (exists (?DS) (and (instance ?DS DataStorageDevice) (stored ?REC ?DS)))) |
Mid-level-ontology.kif 14367-14372 |
| 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 727-734 | |
| (=> (instance ?M MusicRecording) (exists (?P) (and (instance ?P MakingMusic) (record ?M ?P)))) |
Mid-level-ontology.kif 14427-14432 | |
| (=> (instance ?R Recording) (exists (?P) (and (instance ?P Process) (record ?R ?P)))) |
Mid-level-ontology.kif 14415-14420 | |
| (=> (musicGenre ?MR ElectronicMusic) (exists (?DV ?MM) (and (instance ?DV ElectricDevice) (record ?MR ?MM) (instrument ?MM ?DV)))) |
Music.kif 689-695 | |
| (=> (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