![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
ShortageFn
|
|
|
| appearance as argument number 1 |
|
|
| (subAttribute PeriodicalPublishers NewspaperPeriodicalBookAndDatabasePublishers) | naics.kif 8854-8854 | Periodical publishers is a subattribute of newspaper periodical book and database publishers |
| (documentation PeriodicalPublishers EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Periodical Publishers or Periodicals: Publishing, or Publishing and Printing.") | naics.kif 8856-8859 | Periodical publishers is a subattribute of newspaper periodical book and database publishers |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Periodical)) (holdsDuring ?T1 (attribute ?AGENT PeriodicalPublishers))) |
Media.kif 1853-1857 | If X publishes Y holds during Z and Y is a subclass of periodical, then periodical publishers is an attribute of X holds during Z |