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(国际标准书号)。") Merge.kif 6592-6593
(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 6586-6590
(documentation uniqueIdentifier JapaneseLanguage "Entity のインスタンスを一意に識別する name のクラス。 uniqueIdentifier の例としては、データベース アプリケーションのテーブルのキー と ISBN (国際標準書籍番号) がある。") Merge.kif 6595-6597
(instance uniqueIdentifier PartialValuedRelation) Merge.kif 6584-6584
(instance uniqueIdentifier SingleValuedRelation) Merge.kif 6583-6583
(subrelation uniqueIdentifier names) Merge.kif 6582-6582

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 484-484
(format JapaneseLanguage uniqueIdentifier "%1 の unique の識別子は %2 では %n") english_format.kif 485-485
(termFormat ChineseLanguage uniqueIdentifier "唯一识别符号") chinese_format.kif 341-341
(termFormat ChineseLanguage uniqueIdentifier "独特标识符") domainEnglishFormat.kif 59971-59971
(termFormat ChineseTraditionalLanguage uniqueIdentifier "獨特標識符") domainEnglishFormat.kif 59970-59970
(termFormat EnglishLanguage uniqueIdentifier "unique identifier") domainEnglishFormat.kif 59969-59969

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


(=>
    (instance ?INVOICE Invoice)
    (exists (?NUMBER ?BUYER ?SELLER ?ENT)
        (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 28043-28063
(=>
    (instance ?PO PurchaseOrder)
    (exists (?NUMBER ?BUYER ?SELLER)
        (and
            (uniqueIdentifier ?NUMBER ?PO)
            (buys ?BUYER ?SELLER ?ENT)
            (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 28068-28088


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners