![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MusicPublishers(music publishers) |
| appearance as argument number 1 |
|
|
| (subAttribute MusicPublishers SoundRecordingIndustries) | naics.kif 8994-8994 | Music publishers is a subattribute of sound recording industries |
| (documentation MusicPublishers EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Music Publishers or Books: Publishing, or Publishing and Printing (music books).") | naics.kif 8996-8999 | Music publishers is a subattribute of sound recording industries |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS MusicalComposition)) (holdsDuring ?T1 (attribute ?AGENT MusicPublishers))) |
Media.kif 1835-1839 | If X publishes Y holds during Z and Y is a subclass of musical composition, then music publishers is an attribute of X holds during Z |