| 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 15699-15702 | |
| (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 15695-15697 | |
| (domain record 1 ContentBearingObject) | Mid-level-ontology.kif 15704-15704 | |
| (domain record 2 Physical) | Mid-level-ontology.kif 15705-15705 | |
| (instance record BinaryPredicate) | Mid-level-ontology.kif 15694-15694 | |
| (subrelation record represents) | Mid-level-ontology.kif 15693-15693 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage record "%1 是个 %2 的 record ") | domainEnglishFormat.kif 4350-4350 | |
| (format ChineseTraditionalLanguage record "%1 是個 %2 的 record ") | domainEnglishFormat.kif 4349-4349 | |
| (format EnglishLanguage record "%1 is a record of %2") | domainEnglishFormat.kif 4348-4348 | |
| (termFormat EnglishLanguage record "record") | Mid-level-ontology.kif 15698-15698 |
| 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 459-472 | |
| (=> (and (musicGenre ?MR Acapella) (record ?MR ?MM)) (not (exists (?MI) (and (instance ?MI MakingInstrumentalMusic) (subProcess ?MI ?MM))))) |
Music.kif 526-534 | |
| (=> (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 561-571 | |
| (=> (record ?REC ?PHYS) (equivalentContentInstance ?REC ?PHYS)) |
Mid-level-ontology.kif 15707-15709 | |
| (=> (record ?REC ?PHYS) (exists (?DS) (and (instance ?DS DataStorageDevice) (stored ?REC ?DS)))) |
Mid-level-ontology.kif 15711-15716 |
| 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 410-421 | |
| (=> (and (attribute ?M LiveRecording) (instance ?M Recording)) (exists (?P) (and (instance ?P Performance) (record ?M ?P)))) |
Music.kif 380-387 | |
| (=> (and (attribute ?M StudioRecording) (instance ?M Recording)) (exists (?P ?S) (and (record ?M ?P) (eventLocated ?P ?S) (instance ?S RecordingStudio)))) |
Music.kif 394-402 | |
| (=> (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 459-472 | |
| (=> (attribute ?MR HipHopMusic) (modalAttribute (exists (?MM ?S) (and (record ?MR ?MM) (instance ?S Speaking) (subProcess ?S ?MM))) Likely)) |
Music.kif 729-736 | |
| (=> (instance ?M MusicRecording) (exists (?P) (and (instance ?P MakingMusic) (record ?M ?P)))) |
Mid-level-ontology.kif 15771-15776 | |
| (=> (instance ?R Recording) (exists (?P) (and (instance ?P Process) (record ?R ?P)))) |
Mid-level-ontology.kif 15759-15764 | |
| (=> (musicGenre ?MR ElectronicMusic) (exists (?DV ?MM) (and (instance ?DV ElectricDevice) (record ?MR ?MM) (instrument ?MM ?DV)))) |
Music.kif 691-697 | |
| (=> (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