| Lyrics(lyrics)
|
| appearance as argument number 1 |
|
| (subclass Lyrics Text) | Mid-level-ontology.kif 690-690 | Lyrics is a subclass of text |
| (documentation Lyrics EnglishLanguage "Any Text which is intended to be sung.") | Mid-level-ontology.kif 691-691 | Lyrics is a subclass of text |
| (externalImage Lyrics "http://upload.wikimedia.org/wikipedia/commons/0/0c/ Song_of_the_Free_lyrics.jpg") | pictureList.kif 2701-2701 | Lyrics is a subclass of text |
| (externalImage Lyrics "http://upload.wikimedia.org/wikipedia/commons/4/43/ Soviet_Union_Hymn_1944_Belarusian_lyrics.jpg") | pictureList.kif 2853-2853 | Lyrics is a subclass of text |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|
|
|