Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Brand(brand) |  | brand, brand_name, marque, trade_name |
| appearance as argument number 1 |
|
|
| (subclass Brand ContentBearingPhysical) | Hotel.kif 1288-1288 | Brand is a subclass of content bearing physical |
| (documentation Brand EnglishLanguage "Brand refers to a unique design, sign, symbol, name or a combination of these that is employed in creating an image that identifies a product that differentiates it from its competitors (BusinessDictionary.com)") | Hotel.kif 1289-1291 | Brand is a subclass of content bearing physical |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Brand "brand") | Hotel.kif 1292-1292 |
| appearance as argument number 3 |
|
|
| (domain brandIcon 1 Brand) | Hotel.kif 1327-1327 | The number 1 argument of brand icon is an instance of brand |
| antecedent |
|
|
| (=> (instance ?BRAND Brand) (exists (?OBJ) (and (instance ?OBJ Object) (productBrand ?BRAND ?OBJ)))) |
Hotel.kif 1294-1299 | If X is an instance of brand, then there exists Y such that Y is an instance of object and X is the brand of Y |
| (=> (instance ?BRAND Brand) (exists (?AGENT ?CREATION) (and (instance ?CREATION Creation) (result ?CREATION ?BRAND) (agent ?CREATION ?AGENT)))) |
Hotel.kif 1301-1307 | If X is an instance of brand, then there exist Y, Z such that Z is an instance of creation, X is a result of Z, and Y is an agent of Z |
| consequent |
|
|
| (=> (productBrand ?BRAND ?OBJ) (instance ?BRAND Brand)) |
Hotel.kif 1318-1320 | If X is the brand of Y, then X is an instance of brand |
|