| Singing(singing)
|
| appearance as argument number 1 |
|
| (subclass Singing MakingVocalMusic) | Merge.kif 13906-13906 | 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 13907-13910 | 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 13912-13917 | 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 693-699 | 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 15274-15284 | 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 15293-15306 | 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 15316-15322 | 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 1809-1819 | 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 1440-1442 | If solo singer is an attribute of X, then X has the skill to do singing |
|
|
|