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 4142-4146
(instance uniqueIdentifier PartialValuedRelation) Merge.kif 4140-4140
(instance uniqueIdentifier SingleValuedRelation) Merge.kif 4139-4139
(subrelation uniqueIdentifier names) Merge.kif 4138-4138

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 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 28036-28056
(=>
    (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 28061-28081


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