Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Brand
Brand(brand)brand, brand_name, marque, trade_name

appearance as argument number 1
-------------------------


(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 1281-1283
(subclass Brand ContentBearingPhysical) Hotel.kif 1280-1280 Brand is a subclass of content bearing physical

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Brand "brand") Hotel.kif 1284-1284

appearance as argument number 3
-------------------------


(domain brandIcon 1 Brand) Hotel.kif 1316-1316 The number 1 argument of brand icon is an instance of brand

antecedent
-------------------------


(=>
    (instance ?BRAND Brand)
    (exists (?AGENT ?CREATION)
        (and
            (instance ?CREATION Creation)
            (result ?CREATION ?BRAND)
            (agent ?CREATION ?AGENT))))
Hotel.kif 1293-1299
(=>
    (instance ?BRAND Brand)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (productBrand ?BRAND ?OBJ))))
Hotel.kif 1286-1291