Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - uniqueIdWithRespectTo
uniqueIdWithRespectTo

appearance as argument number 1
-------------------------


(documentation uniqueIdWithRespectTo EnglishLanguage "Any ID which is unique within some context, though not globally unique. This relation may be used in situations such as a user account, in which a SymbolicString is unique to a relationship between one particular Human and one particular Corporation, or a unique home address with respect to a given Street.") Mid-level-ontology.kif 28151-28151
(domain uniqueIdWithRespectTo 1 Physical) Mid-level-ontology.kif 28148-28148 The number 1 argument of uniqueIdWithRespectTo is an instance of physical
(domain uniqueIdWithRespectTo 2 Physical) Mid-level-ontology.kif 28149-28149 The number 2 argument of uniqueIdWithRespectTo is an instance of physical
(domain uniqueIdWithRespectTo 3 SymbolicString) Mid-level-ontology.kif 28150-28150 The number 3 argument of uniqueIdWithRespectTo is an instance of symbolic string
(instance uniqueIdWithRespectTo TernaryPredicate) Mid-level-ontology.kif 28147-28147 uniqueIdWithRespectTo is an instance of ternary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage uniqueIdWithRespectTo "%3 是 unique ID 对于 %2 相对于 %1 ") domainEnglishFormat.kif 4871-4871
(format ChineseTraditionalLanguage uniqueIdWithRespectTo "%3 是 unique ID 對於 %2 相對於 %1 ") domainEnglishFormat.kif 4870-4870
(format EnglishLanguage uniqueIdWithRespectTo "%3 is a unique ID for %2 with respect to %1") domainEnglishFormat.kif 4869-4869

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


(=>
    (instance ?AN InvoiceNumber)
    (exists (?INVOICE ?SELLER)
        (and
            (instance ?INVOICE Invoice)
            (instance ?SELLING Selling)
            (agent ?SELLING ?SELLER)
            (uniqueIdWithRespectTo ?INVOICE ?SELLER ?AN))))
Mid-level-ontology.kif 28167-28174
(=>
    (instance ?AN PurchaseOrderNumber)
    (exists (?PO ?BUYER ?AN ?SELLER ?ENT)
        (and
            (instance ?PO PurchaseOrder)
            (buys ?BUYER ?SELLER ?ENT)
            (instance ?AN SymbolicString)
            (uniqueIdWithRespectTo ?PO ?BUYER ?AN))))
Mid-level-ontology.kif 28233-28240
(=>
    (instance ?NUMBER AccountNumber)
    (exists (?CORPORATION ?AGENT ?NUMBER)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT Agent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 28156-28162


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