Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Singing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Singing MakingVocalMusic) | Merge.kif 14040-14040 | Singing is a subclass of singing |
| (documentation Singing EnglishLanguage "Singing is a type of MakingVocalMusic wherein words are produced by the singer. This is different from other forms of MakingVocalMusic such as humming or scatting or beatboxing, where the vocal cords are used to create the music but no words are formed.") | Merge.kif 14041-14044 | Singing is a subclass of singing |
| (externalImage Singing "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Patti_Smith_performing_in_Finland%2C_2007.jpg") | pictureList.kif 6859-6859 | Singing is a subclass of singing |
| (externalImage Singing "http://upload.wikimedia.org/wikipedia/commons/c/ c2/ Harry_Belafonte_singing_1954.jpg") | pictureList.kif 7866-7866 | Singing is a subclass of singing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S Singing) (exists (?W) (and (patient ?S ?W) (instance ?W Word)))) |
Merge.kif 14046-14051 | If X is an instance of singing, then there exists Y such that Y is a patient of X and Y is an instance of word |
| consequent |
|
|
| (=> (instance ?LYRIC Lyrics) (hasPurpose ?LYRIC (exists (?SING) (and (instance ?SING Singing) (patient ?SING ?LYRIC))))) |
Mid-level-ontology.kif 680-686 | If X is an instance of lyrics, then X has the purpose there exists Y such that Y is an instance of singing and X is a patient of Y |
| (=> (and (instance ?MC MusicalComposition) (realization ?MC ?MUSIC)) (not (exists (?LC ?V) (and (instance ?V Singing) (patient ?V ?LC) (instance ?LC LyricalContent) (subProcess ?V ?MUSIC))))) |
Mid-level-ontology.kif 15347-15357 | If X is an instance of musical composition and X expresses the content of Y, then there don't exist Z, W such that W is an instance of singing, Z is a patient of W, Z is an instance of lyrical content, and W is a subprocess of Y |
| (=> (and (instance ?S Song) (realization ?S ?MUSIC)) (exists (?MM ?MV ?LC ?MC) (and (instance ?MM MakingMusic) (instance ?MV Singing) (instance ?LC LyricalContent) (instance ?MC MusicalComposition) (patient ?MM ?MC) (patient ?MV ?LC) (subProcess ?MM ?MUSIC) (subProcess ?MV ?MUSIC)))) |
Mid-level-ontology.kif 15366-15379 | If X is an instance of song and X expresses the content of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of making music (3) W is an instance of singing (4) V is an instance of lyrical content (5) U is an instance of musical composition (6) U is a patient of Z (7) V is a patient of W (8) Z is a subprocess of Y (9) W is a subprocess of Y |
| (=> (instance ?X LyricalContent) (hasPurpose ?X (exists (?S) (and (instance ?S Singing) (patient ?S ?X))))) |
Mid-level-ontology.kif 15389-15395 | If X is an instance of lyrical content, then X has the purpose there exists Y such that Y is an instance of singing and X is a patient of Y |
| (=> (and (instance ?MUSIC MakingVocalMusic) (agent ?MUSIC ?GROUP) (instance ?GROUP Choir) (holdsDuring ?MUSIC (member ?MEM ?GROUP))) (exists (?SING) (and (instance ?SING Singing) (subProcess ?SING ?MUSIC) (agent ?SING ?MEM)))) |
Media.kif 1754-1764 | If X is an instance of singing, Y is an agent of X, Y is an instance of choir, and Z is a member of Y holds during X, then there exists W such that W is an instance of singing, W is a subprocess of X, and Z is an agent of W |
| (=> (instance ?CONTEST SingingContest) (exists (?J) (and (instance ?J Judging) (forall (?A) (=> (contestParticipant ?CONTEST ?A) (exists (?MV) (and (agent ?MV ?A) (instance ?MV Singing) (subProcess ?MV ?CONTEST) (patient ?J ?MV)))))))) |
Music.kif 1029-1042 | If X is an instance of singing contest, then there exists Y such that Y is an instance of judging, Z Z participates in Xthere exists W such that Z is an agent of W, W is an instance of singing, W is a subprocess of X, and W is a patient of Y |
| (=> (attribute ?PERSON SoloSinger) (hasSkill Singing ?PERSON)) |
Music.kif 1442-1444 | If solo singer is an attribute of X, then X has the skill to do singing |
|
