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 4274-4277
(instance uniqueIdentifier BinaryPredicate) Merge.kif 4270-4270 unique identifier is an instance of binary predicate
(instance uniqueIdentifier PartialValuedRelation) Merge.kif 4272-4272 unique identifier is an instance of partial valued relation
(instance uniqueIdentifier SingleValuedRelation) Merge.kif 4271-4271 unique identifier is an instance of single valued relation
(subrelation uniqueIdentifier names) Merge.kif 4269-4269 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 347-347
(termFormat ChineseLanguage uniqueIdentifier "唯一识别符号") chinese_format.kif 341-341
(termFormat ChineseLanguage uniqueIdentifier "独特标识符") domainEnglishFormat.kif 59934-59934
(termFormat ChineseTraditionalLanguage uniqueIdentifier "獨特標識符") domainEnglishFormat.kif 59933-59933
(termFormat EnglishLanguage uniqueIdentifier "unique identifier") domainEnglishFormat.kif 59932-59932

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 28073-28093
(=>
    (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 28098-28118


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