| MusicText
|
| appearance as argument number 1 |
|
| (documentation MusicText EnglishLanguage "A Text in a Language that represents a form of music.") | Mid-level-ontology.kif 12071-12072 | |
| (externalImage MusicText "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") | pictureList.kif 2711-2711 | |
| (externalImage MusicText "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Gryphius_05.jpg") | pictureList.kif 2871-2871 | |
| (subclass MusicText Text) | Mid-level-ontology.kif 12070-12070 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MusicText "音乐文本") | domainEnglishFormat.kif 39355-39355 | |
| (termFormat ChineseTraditionalLanguage MusicText "音樂文本") | domainEnglishFormat.kif 39354-39354 | |
| (termFormat EnglishLanguage MusicText "music text") | domainEnglishFormat.kif 39353-39353 |
| antecedent |
|
|
| (=> (instance ?X MusicText) (capability MakingMusic patient ?X)) |
Mid-level-ontology.kif 12074-12076 |
| consequent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG SportingGoodsHobbyBookAndMusicStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Object) (or (capability Sport instrument ?THING) (capability MakingMusic instrument ?THING) (instance ?THING Book) (instance ?THING MusicRecording) (instance ?THING MusicText)) (patient ?EV ?THING)))))) |
naics.kif 7607-7625 |
|
|
|