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 4286-4289
(instance uniqueIdentifier BinaryPredicate) Merge.kif 4282-4282
(instance uniqueIdentifier PartialValuedRelation) Merge.kif 4284-4284
(instance uniqueIdentifier SingleValuedRelation) Merge.kif 4283-4283
(subrelation uniqueIdentifier names) Merge.kif 4281-4281

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 347-347
(termFormat ChineseLanguage uniqueIdentifier "唯一识别符号") chinese_format.kif 341-341
(termFormat ChineseLanguage uniqueIdentifier "独特标识符") domainEnglishFormat.kif 60010-60010
(termFormat ChineseTraditionalLanguage uniqueIdentifier "獨特標識符") domainEnglishFormat.kif 60009-60009
(termFormat EnglishLanguage uniqueIdentifier "unique identifier") domainEnglishFormat.kif 60008-60008

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 28081-28101
(=>
    (instance ?PO PurchaseOrder)
    (exists (?NUMBER ?BUYER ?SELLER)
        (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 28106-28126


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