| MusicText(music text)
|
| appearance as argument number 1 |
|
| (subclass MusicText Text) | Mid-level-ontology.kif 15942-15942 | Music text is a subclass of text |
| (documentation MusicText EnglishLanguage "A Text in a Language that represents a form of music.") | Mid-level-ontology.kif 15943-15944 | Music text is a subclass of text |
| (externalImage MusicText "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") | pictureList.kif 2709-2709 | Music text is a subclass of text |
| (externalImage MusicText "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Gryphius_05.jpg") | pictureList.kif 2869-2869 | Music text is a subclass of text |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?X MusicText) (capability MakingMusic patient ?X)) |
Mid-level-ontology.kif 15946-15948 | If X is an instance of music text, then X is capable of doing making music as a patient |
| 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 7597-7615 | If X is an instance of organization and sporting goods hobby book and music stores is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of object (6) W is capable of doing sport as a instrument or W is capable of doing making music as a instrument or W is an instance of book or W is an instance of music recording or W is an instance of music text (7) W is a patient of Y |
|
|
|