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 4573-4574
(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 4568-4572
(instance uniqueIdentifier PartialValuedRelation) Merge.kif 4567-4567 unique identifier is an instance of partial valued relation
(instance uniqueIdentifier SingleValuedRelation) Merge.kif 4566-4566 unique identifier is an instance of single valued relation
(subrelation uniqueIdentifier names) Merge.kif 4565-4565 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 202-202
(termFormat ChineseLanguage uniqueIdentifier "唯一识别符号") chinese_format.kif 341-341 "唯一识别符号" is the printable form of unique identifier in ChineseLanguage
(termFormat EnglishLanguage uniqueIdentifier "unique identifier") domainEnglishFormat.kif 10429-10429 "unique identifier" is the printable form of unique identifier in english language

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 28042-28062
(=>
    (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 28067-28087


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