Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| songArtist |
| appearance as argument number 1 |
|
| (instance songArtist BinaryPredicate) | Music.kif 208-208 | song artist is an instance of binary predicate |
| (documentation songArtist EnglishLanguage "(songArtist ?MR ?A) means that CognitiveAgent ?A was the agent in recording MusicRecording ?MR") | Music.kif 209-210 | song artist is an instance of binary predicate |
| (domain songArtist 1 MusicRecording) | Music.kif 213-213 | The number 1 argument of song artist is an instance of music recording |
| (domain songArtist 2 CognitiveAgent) | Music.kif 214-214 | The number 2 argument of song artist is an instance of cognitive agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage songArtist "song artist") | Music.kif 211-211 | |
| (format EnglishLanguage songArtist "%2 is the performer in %1") | domainEnglishFormat.kif 4576-4576 | |
| (format ChineseTraditionalLanguage songArtist "%2 是 performer 在 %1 ") | domainEnglishFormat.kif 4577-4577 | |
| (format ChineseLanguage songArtist "%2 是 performer 在 %1 ") | domainEnglishFormat.kif 4578-4578 |
| antecedent |
|
|
| (=> (songArtist ?MR ?A) (exists (?M) (and (record ?MR ?M) (agent ?M ?A)))) |
Music.kif 216-221 | If X is the performer in Y, then there exists Z such that Y is a record of Z and X is an agent of Z |
| (=> (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 | If cover recording is an attribute of X, X is an instance of music recording, Y is the performer in X, X is a recording of Z, and X is a record of W, then All of the following hold: (1) there exist V, U (2) T such that V is a recording of Z (3) U is the performer in V (4) equal Y (5) U (6) V is a record of T (7) the time of existence of T happens before the time of existence of W |
| consequent |
|
|
| (=> (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 | If cover recording is an attribute of X, X is an instance of music recording, Y is the performer in X, X is a recording of Z, and X is a record of W, then All of the following hold: (1) there exist V, U (2) T such that V is a recording of Z (3) U is the performer in V (4) equal Y (5) U (6) V is a record of T (7) the time of existence of T happens before the time of existence of W |
|