| 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 11978-11981 | |
| (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 11974-11976 | |
| (domain record 1 ContentBearingObject) | Mid-level-ontology.kif 11983-11983 | |
| (domain record 2 Physical) | Mid-level-ontology.kif 11984-11984 | |
| (instance record BinaryPredicate) | Mid-level-ontology.kif 11973-11973 | |
| (subrelation record represents) | Mid-level-ontology.kif 11972-11972 |
| 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 11977-11977 |
| 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 454-467 | |
| (=> (and (musicGenre ?MR Acapella) (record ?MR ?MM)) (not (exists (?MI) (and (instance ?MI MakingInstrumentalMusic) (subProcess ?MI ?MM))))) |
Music.kif 520-528 | |
| (=> (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 555-565 | |
| (=> (record ?REC ?PHYS) (equivalentContentInstance ?REC ?PHYS)) |
Mid-level-ontology.kif 11986-11988 | |
| (=> (record ?REC ?PHYS) (exists (?DS) (and (instance ?DS DataStorageDevice) (stored ?REC ?DS)))) |
Mid-level-ontology.kif 11990-11995 |
| consequent |
|
|
| (=> (albumArtist ?A ?P) (exists (?R ?M) (and (instance ?R Recording) (inList ?R ?A) (record ?R ?M) (agent ?M ?P)))) |
Music.kif 277-284 | |
| (=> (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 405-416 | |
| (=> (and (attribute ?M LiveRecording) (instance ?M Recording)) (exists (?P) (and (instance ?P Performance) (record ?M ?P)))) |
Music.kif 375-382 | |
| (=> (and (attribute ?M StudioRecording) (instance ?M Recording)) (exists (?P) (and (record ?M ?P) (eventLocated ?P ?S) (instance ?S RecordingStudio)))) |
Music.kif 389-397 | |
| (=> (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 454-467 | |
| (=> (attribute ?MR HipHopMusic) (modalAttribute (exists (?MM ?S) (and (record ?MR ?MM) (instance ?S Speaking) (subProcess ?S ?MM))) Likely)) |
Music.kif 723-730 | |
| (=> (instance ?M MusicRecording) (exists (?P) (and (instance ?P MakingMusic) (record ?M ?P)))) |
Mid-level-ontology.kif 12050-12055 | |
| (=> (instance ?R Recording) (exists (?P) (and (instance ?P Process) (record ?R ?P)))) |
Mid-level-ontology.kif 12038-12043 | |
| (=> (musicGenre ?MR ElectronicMusic) (exists (?DV ?MM) (and (instance ?DV ElectricDevice) (record ?MR ?MM) (instrument ?MM ?DV)))) |
Music.kif 685-691 | |
| (=> (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 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