uniqueIdentifier - Sigma Knowledge base Browser

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

(documentation uniqueIdentifier ChineseLanguage "这是专门识别 Entity 的一个实例的 names 类别，uniqueIdentifier 的一些例子包括数据库应用程序数据库表的索引，和ISBN(国际标准书号)。")	chinese_format.kif 2162-2163
(documentation uniqueIdentifier 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 4443-4446
(documentation uniqueIdentifier JapaneseLanguage "Entity のインスタンスを一意に識別する name のクラス。 uniqueIdentifier の例としては、データベースアプリケーションのテーブルのキーと ISBN (国際標準書籍番号) がある。")	japanese_format.kif 820-822
(instance uniqueIdentifier BinaryPredicate)	Merge.kif 4439-4439	unique identifier is an instance of binary predicate
(instance uniqueIdentifier PartialValuedRelation)	Merge.kif 4441-4441	unique identifier is an instance of partial valued relation
(instance uniqueIdentifier SingleValuedRelation)	Merge.kif 4440-4440	unique identifier is an instance of single valued relation
(subrelation uniqueIdentifier names)	Merge.kif 4438-4438	unique identifier is a subrelation of names

appearance as argument number 2

(format ChineseLanguage uniqueIdentifier "%1 的唯一识别符号 %n 是 %2")	chinese_format.kif 340-340
(format EnglishLanguage uniqueIdentifier "the unique identifier of %1 is %n %2")	english_format.kif 344-344
(format FrenchLanguage uniqueIdentifier "l' unique identifier de %1 est %n %2")	french_format.kif 192-192
(format ItalianLanguage uniqueIdentifier "l' identificatore unico di %1 è %2")	relations-it.txt 307-307
(format JapaneseLanguage uniqueIdentifier "%1 の unique の識別子は %2 では %n")	japanese_format.kif 2012-2012
(format PortugueseLanguage uniqueIdentifier "o identificador unico de %1 e' %n %2")	portuguese_format.kif 144-144
(format de uniqueIdentifier "der einzigartige bezeichner von %1 ist %2")	relations-de.txt 448-448
(format hi uniqueIdentifier "%1 kaa ekamaatra abhignyana %2 hai")	relations-hindi.txt 343-343
(format ro uniqueIdentifier "identificatorul unique%t{unic} al lui %1 %n{nu} este %2")	relations-ro.kif 212-212
(format sv uniqueIdentifier "den unika identifieraren för %1 är %n{inte} %2")	relations-sv.txt 203-203
(format tg uniqueIdentifier "ang pagila kakaiba ng %1 %n ay %2")	relations-tg.txt 499-499
(termFormat ChineseLanguage uniqueIdentifier "唯一识别符号")	chinese_format.kif 341-341
(termFormat ChineseLanguage uniqueIdentifier "独特标识符")	domainEnglishFormat.kif 60074-60074
(termFormat ChineseTraditionalLanguage uniqueIdentifier "獨特標識符")	domainEnglishFormat.kif 60073-60073
(termFormat EnglishLanguage uniqueIdentifier "unique identifier")	domainEnglishFormat.kif 60072-60072

consequent

(=> (instance ?INVOICE Invoice) (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT) (and (uniqueIdentifier ?NUMBER ?INVOICE) (buys ?BUYER ?SELLER ?ENT) (confersRight (exists (?SELLING) (and (before (BeginFn (WhenFn ?INVOICE)) (BeginFn (WhenFn ?SELLING))) (instance ?SELLING Selling) (instance ?PRODUCT Product) (objectTransferred ?SELLING ?PRODUCT) (refers ?INVOICE ?PRODUCT) (agent ?SELLING ?SELLER) (patient ?SELLING ?BUYER))) ?SELLER ?BUYER))))	Mid-level-ontology.kif 30125-30145	If an entity is an instance of invoice, then there exist a symbolic string, a cognitive agent,, , an agent,, , another entity and a third entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the agent and the agent allows the cognitive agent to perform task of the type there exists a fourth entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fourth entity and the fourth entity is an instance of selling and the third entity is an instance of product and the object transferred in the fourth entity is the third entity and the entity includes a reference to the third entity and the agent is an agent of the fourth entity and the cognitive agent is a patient of the fourth entity
(=> (instance ?PO PurchaseOrder) (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT) (and (uniqueIdentifier ?NUMBER ?PO) (buys ?BUYER ?SELLER ?PRODUCT) (confersObligation (exists (?BUYING) (and (before (BeginFn (WhenFn ?PO)) (BeginFn (WhenFn ?BUYING))) (instance ?BUYING Buying) (instance ?PRODUCT Product) (objectTransferred ?BUYING ?PRODUCT) (refers ?PO ?PRODUCT) (agent ?BUYING ?BUYER) (patient ?BUYING ?SELLER))) ?BUYER ?SELLER))))	Mid-level-ontology.kif 30152-30172	If an entity is an instance of purchase order, then there exist a symbolic string, a cognitive agent,, , another cognitive agent and another entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the other cognitive agent and the cognitive agent obligates the other cognitive agent to perform task of the type there exists a third entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the third entity and the third entity is an instance of buying and the other entity is an instance of product and the object transferred in the third entity is the other entity and the entity includes a reference to the other entity and the cognitive agent is an agent of the third entity and the other cognitive agent is a patient of the third entity

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