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

Formal Language: 



KB Term:  Term intersection
English Word: 

  uniqueIdWithRespectTo

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 29921-29924
(domain uniqueIdWithRespectTo 1 Physical) Mid-level-ontology.kif 29918-29918 The number 1 argument of unique ID with respect to is an instance of physical
(domain uniqueIdWithRespectTo 2 Physical) Mid-level-ontology.kif 29919-29919 The number 2 argument of unique ID with respect to is an instance of physical
(domain uniqueIdWithRespectTo 3 SymbolicString) Mid-level-ontology.kif 29920-29920 The number 3 argument of unique ID with respect to is an instance of symbolic string
(instance uniqueIdWithRespectTo TernaryPredicate) Mid-level-ontology.kif 29917-29917 unique ID with respect to is an instance of ternary predicate

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


(format ChineseLanguage uniqueIdWithRespectTo "%3 是 unique ID 对于 %2 相对于 %1 ") domainEnglishFormat.kif 4866-4866
(format ChineseTraditionalLanguage uniqueIdWithRespectTo "%3 是 unique ID 對於 %2 相對於 %1 ") domainEnglishFormat.kif 4865-4865
(format EnglishLanguage uniqueIdWithRespectTo "%3 is a unique ID for %2 with respect to %1") domainEnglishFormat.kif 4864-4864
(termFormat EnglishLanguage uniqueIdWithRespectTo "unique ID with respect to") domainEnglishFormat.kif 65966-65966

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


(=>
    (instance ?AN InvoiceNumber)
    (exists (?INVOICE ?SELLER ?SELLING)
        (and
            (instance ?INVOICE Invoice)
            (instance ?SELLING Selling)
            (agent ?SELLING ?SELLER)
            (uniqueIdWithRespectTo ?INVOICE ?SELLER ?AN))))
Mid-level-ontology.kif 29941-29948
(=>
    (instance ?AN PurchaseOrderNumber)
    (exists (?PO ?BUYER ?SELLER ?ENT)
        (and
            (instance ?PO PurchaseOrder)
            (buys ?BUYER ?SELLER ?ENT)
            (uniqueIdWithRespectTo ?PO ?BUYER ?AN))))
Mid-level-ontology.kif 30014-30020
(=>
    (instance ?NUMBER AccountNumber)
    (exists (?CORPORATION ?AGENT ?HUMAN)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT AutonomousAgent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 29930-29936


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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