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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subBrand

 Sigma KEE - subBrand
subBrand

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


(documentation subBrand EnglishLanguage "(subBrand ?BRAND1 ?BRAND2) means that Brand ?BRAND2 uses the identity and reputation propagated by ?BRAND1 but is applied to a more specific set of objects") Hotel.kif 1328-1330
(domain subBrand 1 Entity) Hotel.kif 1332-1332 O argumento numero 1 de subBrand e' uma instancia de Entidade
(domain subBrand 2 Entity) Hotel.kif 1333-1333 O argumento numero 2 de subBrand e' uma instancia de Entidade
(instance subBrand BinaryPredicate) Hotel.kif 1327-1327 subBrand e' uma instancia de Predicado Binario

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


(format ChineseLanguage subBrand "2 是 %1 的 sub-brand ") domainEnglishFormat.kif 4682-4682
(format ChineseTraditionalLanguage subBrand "%2 是 %1 的 sub-brand ") domainEnglishFormat.kif 4681-4681
(format EnglishLanguage subBrand "%2 is a sub-brand of %1") domainEnglishFormat.kif 4680-4680
(termFormat EnglishLanguage subBrand "sub-brand") Hotel.kif 1331-1331

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


(=>
    (subBrand ?BRAND1 ?BRAND2)
    (exists (?COLL ?OBJ)
        (and
            (instance ?COLL Collection)
            (represents ?BRAND1 ?COLL)
            (member ?OBJ ?COLL)
            (represents ?BRAND2 ?OBJ))))		 Hotel.kif 1335-1342


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