| 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 | The number 1 argument of sub-brand is an instance of entity |
| (domain subBrand 2 Entity) | Hotel.kif 1333-1333 | The number 2 argument of sub-brand is an instance of entity |
| (instance subBrand BinaryPredicate) | Hotel.kif 1327-1327 | sub-brand is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage subBrand "2 是 %1 的 sub_brand ") | domainEnglishFormat.kif 4686-4686 | |
| (format ChineseTraditionalLanguage subBrand "%2 是 %1 的 sub_brand ") | domainEnglishFormat.kif 4685-4685 | |
| (format EnglishLanguage subBrand "%2 is a sub_brand of %1") | domainEnglishFormat.kif 4684-4684 | |
| (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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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