| MusicText
|
| appearance as argument number 1 |
|
| (documentation MusicText EnglishLanguage "A Text in a Language that represents a form of music.") | Mid-level-ontology.kif 14448-14449 | |
| (externalImage MusicText "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") | pictureList.kif 2710-2710 | |
| (externalImage MusicText "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Gryphius_05.jpg") | pictureList.kif 2870-2870 | |
| (subclass MusicText Text) | Mid-level-ontology.kif 14447-14447 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MusicText "音乐文本") | domainEnglishFormat.kif 39431-39431 | |
| (termFormat ChineseTraditionalLanguage MusicText "音樂文本") | domainEnglishFormat.kif 39430-39430 | |
| (termFormat EnglishLanguage MusicText "music text") | domainEnglishFormat.kif 39429-39429 |
| antecedent |
|
|
| (=> (instance ?X MusicText) (capability MakingMusic patient ?X)) |
Mid-level-ontology.kif 14451-14453 |
| 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 7600-7618 |
|
|
|