Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  HumanitarianAid
|
|
|
| appearance as argument number 1 |
|
|
| (subAttribute BookPublishers NewspaperPeriodicalBookAndDatabasePublishers) | naics.kif 8861-8861 | Book publishers is a subattribute of newspaper periodical book and database publishers |
| (documentation BookPublishers EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Book Publishers or Books: Publishing, or Publishing and Printing (except music books).") | naics.kif 8863-8866 | Book 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 Book)) (holdsDuring ?T1 (attribute ?AGENT BookPublishers))) |
Media.kif 1847-1851 | If X publishes Y holds during Z and Y is a subclass of book, then book publishers is an attribute of X holds during Z |
|