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

Formal Language: 



KB Term:  Term intersection
English Word: 

  uniqueIdentifier

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 4442-4445
(documentation uniqueIdentifier JapaneseLanguage "Entity のインスタンスを一意に識別する name のクラス。 uniqueIdentifier の例としては、データベース アプリケーションのテーブルのキー と ISBN (国際標準書籍番号) がある。") japanese_format.kif 820-822
(instance uniqueIdentifier BinaryPredicate) Merge.kif 4438-4438 uniqueIdentifier2進述語instance では %n
(instance uniqueIdentifier PartialValuedRelation) Merge.kif 4440-4440 uniqueIdentifier部分的価値関係instance では %n
(instance uniqueIdentifier SingleValuedRelation) Merge.kif 4439-4439 uniqueIdentifier一価関係instance では %n
(subrelation uniqueIdentifier names) Merge.kif 4437-4437 uniqueIdentifiernamessubrelation では %n

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 60026-60026
(termFormat ChineseTraditionalLanguage uniqueIdentifier "獨特標識符") domainEnglishFormat.kif 60025-60025
(termFormat EnglishLanguage uniqueIdentifier "unique identifier") domainEnglishFormat.kif 60024-60024

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 29868-29888
(=>
    (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 29895-29915


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