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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Brand

Sigma KEE - Brand
Brand

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 ist eine teilkategorie von ContentBearingPhysical

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 Die Zahl 1 Argument von brandIcon ist ein fall von Brand %n{nicht}

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

consequent
-------------------------


(=>
    (productBrand ?BRAND ?OBJ)
    (instance ?BRAND Brand))
Hotel.kif 1307-1309


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners