| appearance as argument number 1 |
|
| s__comment(s__record__m,'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 11945-11948 | |
| s__documentation(s__record__m,s__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 11941-11943 | |
| s__domain(s__record__m,1,s__ContentBearingObject)
|
Mid-level-ontology.kif 11950-11950 | |
| s__domain(s__record__m,2,s__Physical)
|
Mid-level-ontology.kif 11951-11951 | |
| s__instance(s__record__m,s__BinaryPredicate)
|
Mid-level-ontology.kif 11940-11940 | |
| s__subrelation(s__record__m,s__represents__m)
|
Mid-level-ontology.kif 11939-11939 |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage,s__record__m,'%1 is a record of %2')
|
domainEnglishFormat.kif 1097-1097 | |
| s__termFormat(s__EnglishLanguage,s__record__m,'record')
|
Mid-level-ontology.kif 11944-11944 |
| antecedent |
|
|
| ( ! [V__MR,V__A,V__M,V__MM] : ((s__attribute(V__MR,s__CoverRecording) & s__instance(V__MR,s__MusicRecording) & s__songArtist(V__MR,V__A) & s__musicInterpretation(V__MR,V__M) & s__record(V__MR,V__MM)) => (? [V__ORIG,V__ARTIST,V__MUSIC] : (s__musicInterpretation(V__ORIG,V__M) & s__songArtist(V__ORIG,V__ARTIST) & (~ (V__A = V__ARTIST)) & s__record(V__ORIG,V__MUSIC) & s__before(s__WhenFn(V__MUSIC) ,s__WhenFn(V__MM))))) )
|
Music.kif 460-473 | |
| ( ! [V__MR,V__MM] : ((s__musicGenre(V__MR,s__Acapella) & s__record(V__MR,V__MM)) => (~ (? [V__MI] : (s__instance(V__MI,s__MakingInstrumentalMusic) & s__subProcess(V__MI,V__MM))))) )
|
Music.kif 526-534 | |
| ( ! [V__MR,V__MM] : ((s__musicGenre(V__MR,s__AcousticMusic) & s__record(V__MR,V__MM)) => (~ (? [V__I,V__ED] : (s__instance(V__I,s__MusicalInstrument) & s__instrument(V__MM,V__I) & s__instance(V__ED,s__ElectricDevice) & s__part(V__ED,V__I))))) )
|
Music.kif 561-571 | |
| ( ! [V__REC,V__PHYS] : (s__record(V__REC,V__PHYS) => s__equivalentContentInstance(V__REC,V__PHYS)) )
|
Mid-level-ontology.kif 11953-11955 | |
| ( ! [V__REC,V__PHYS] : (s__record(V__REC,V__PHYS) => (? [V__DS] : (s__instance(V__DS,s__DataStorageDevice) & s__stored(V__REC,V__DS)))) )
|
Mid-level-ontology.kif 11957-11962 |
| consequent |
|
|
| ( ! [V__A,V__P] : (s__albumArtist(V__A,V__P) => (? [V__R,V__M] : (s__instance(V__R,s__Recording) & s__inList(V__R,V__A) & s__record(V__R,V__M) & s__agent(V__M,V__P)))) )
|
Music.kif 274-281 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 411-422 | |
| ( ! [V__M] : ((s__attribute(V__M,s__LiveRecording) & s__instance(V__M,s__Recording)) => (? [V__P] : (s__instance(V__P,s__Performance) & s__record(V__M,V__P)))) )
|
Music.kif 381-388 | |
| ( ! [V__M,V__S] : ((s__attribute(V__M,s__StudioRecording) & s__instance(V__M,s__Recording)) => (? [V__P] : (s__record(V__M,V__P) & s__eventLocated(V__P,V__S) & s__instance(V__S,s__RecordingStudio)))) )
|
Music.kif 395-403 | |
| ( ! [V__MR,V__A,V__M,V__MM] : ((s__attribute(V__MR,s__CoverRecording) & s__instance(V__MR,s__MusicRecording) & s__songArtist(V__MR,V__A) & s__musicInterpretation(V__MR,V__M) & s__record(V__MR,V__MM)) => (? [V__ORIG,V__ARTIST,V__MUSIC] : (s__musicInterpretation(V__ORIG,V__M) & s__songArtist(V__ORIG,V__ARTIST) & (~ (V__A = V__ARTIST)) & s__record(V__ORIG,V__MUSIC) & s__before(s__WhenFn(V__MUSIC) ,s__WhenFn(V__MM))))) )
|
Music.kif 460-473 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 729-736 | |
| ( ! [V__M] : (s__instance(V__M,s__MusicRecording) => (? [V__P] : (s__instance(V__P,s__MakingMusic) & s__record(V__M,V__P)))) )
|
Mid-level-ontology.kif 12023-12028 | |
| ( ! [V__R] : (s__instance(V__R,s__Recording) => (? [V__P] : (s__instance(V__P,s__Process) & s__record(V__R,V__P)))) )
|
Mid-level-ontology.kif 12010-12015 | |
| ( ! [V__MR] : (s__musicGenre(V__MR,s__ElectronicMusic) => (? [V__DV,V__MM] : (s__instance(V__DV,s__ElectricDevice) & s__record(V__MR,V__MM) & s__instrument(V__MM,V__DV)))) )
|
Music.kif 691-697 | |
| ( ! [V__MR,V__MC] : (s__musicInterpretation(V__MR,V__MC) => (? [V__P] : (s__instance(V__P,s__MakingMusic) & s__realization(V__P,V__MC) & s__record(V__MR,V__P)))) )
|
Music.kif 178-184 | |
| ( ! [V__MR,V__A] : (s__songArtist(V__MR,V__A) => (? [V__M] : (s__record(V__MR,V__M) & s__agent(V__M,V__A)))) )
|
Music.kif 210-215 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners