Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Lyrics
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Lyrics Text) | Mid-level-ontology.kif 677-677 | Lyrics is a subclass of text |
| (documentation Lyrics EnglishLanguage "Any Text which is intended to be sung.") | Mid-level-ontology.kif 678-678 | 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 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 |
|
