Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AdvertisingAgency
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AdvertisingAgency Business) | Society.kif 1433-1433 | AdvertisingAgency is a subclass of business |
| (documentation AdvertisingAgency EnglishLanguage "An advertising agency or ad agency is an Agency dedicated to creating, planning and handling advertising (and sometimes other forms of promotion) for its clients.") | Society.kif 1434-1434 | AdvertisingAgency is a subclass of business |
| antecedent |
|
|
| (=> (instance ?AA AdvertisingAgency) (hasPurpose ?AA (exists (?EV) (and (instance ?EV Advertising) (eventLocated ?EV ?AA) (result ?EV Advert))))) |
Society.kif 1437-1444 | If X is an instance of AdvertisingAgency, then X has the purpose there exists Y such that Y is an instance of advertising, Y is located at X, and Advert is a result of Y |
|