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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - uniqueIdentifier
uniqueIdentifier

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


s__documentation(s__uniqueIdentifier__m,s__ChineseLanguage,'"这是专门识别 Entity 的一个实例的 names 类别,uniqueIdentifier 的一些例子包括数据库应用程序数据库表的索引,和ISBN(国际标准书号)。"')

chinese_format.kif 2162-2163
s__documentation(s__uniqueIdentifier__m,s__EnglishLanguage,'"The class of names that uniquely identify an instance of Entity. Some examples of uniqueIdentifiers are the keys of tables in database applications and the ISBN (International Standard Book Number)."')

Merge.kif 4289-4292
s__instance(s__uniqueIdentifier__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 4285-4285 unique identifier is an instance of binary predicate
s__instance(s__uniqueIdentifier__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 4287-4287 unique identifier is an instance of partial valued relation
s__instance(s__uniqueIdentifier__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__SetOrClass)

Merge.kif 4286-4286 unique identifier is an instance of single valued relation
s__subrelation(s__uniqueIdentifier__m,s__names__m)

Merge.kif 4284-4284 unique identifier is a subrelation of names

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


s__format(s__ChineseLanguage,s__uniqueIdentifier__m,'"%1 的唯一识别符号 %n 是 %2"')

chinese_format.kif 340-340
s__format(s__EnglishLanguage,s__uniqueIdentifier__m,'"the unique identifier of %1 is %n %2"')

english_format.kif 347-347
s__termFormat(s__ChineseLanguage,s__uniqueIdentifier__m,'"唯一识别符号"')

chinese_format.kif 341-341
s__termFormat(s__ChineseLanguage,s__uniqueIdentifier__m,'"独特标识符"')

domainEnglishFormat.kif 59993-59993
s__termFormat(s__ChineseTraditionalLanguage,s__uniqueIdentifier__m,'"獨特標識符"')

domainEnglishFormat.kif 59992-59992
s__termFormat(s__EnglishLanguage,s__uniqueIdentifier__m,'"unique identifier"')

domainEnglishFormat.kif 59991-59991

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28577-28597
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28604-28624


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