Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - uniqueIdWithRespectTo
uniqueIdWithRespectTo

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


(instance uniqueIdWithRespectTo TernaryPredicate) Mid-level-ontology.kif 32516-32516 unique ID with respect to is an instance of ternary predicate
(domain uniqueIdWithRespectTo 1 Physical) Mid-level-ontology.kif 32517-32517 The number 1 argument of unique ID with respect to is an instance of physical
(domain uniqueIdWithRespectTo 2 Physical) Mid-level-ontology.kif 32518-32518 The number 2 argument of unique ID with respect to is an instance of physical
(domain uniqueIdWithRespectTo 3 SymbolicString) Mid-level-ontology.kif 32519-32519 The number 3 argument of unique ID with respect to is an instance of symbolic string
(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 32520-32523 The number 3 argument of unique ID with respect to is an instance of symbolic string

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


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

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


(=>
    (instance ?NUMBER AccountNumber)
    (exists (?CORPORATION ?AGENT ?HUMAN)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT AutonomousAgent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))		 Mid-level-ontology.kif 32529-32535 If X is an instance of account number, then there exist Y, Z, W such that Y is an instance of corporation, Z is an instance of agent, and X is a unique ID for W with respect to Y
(=>
    (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 32540-32547 If X is an instance of invoice number, then there exist Y, Z, W such that Y is an instance of invoice, W is an instance of selling, Z is an agent of W, and X is a unique ID for Z with respect to Y
(=>
    (instance ?AN PurchaseOrderNumber)
    (exists (?PO ?BUYER ?SELLER ?ENT)
        (and
            (instance ?PO PurchaseOrder)
            (buys ?BUYER ?SELLER ?ENT)
            (uniqueIdWithRespectTo ?PO ?BUYER ?AN))))		 Mid-level-ontology.kif 32613-32619 If X is an instance of purchase order number, then there exist Y, Z,, , W, V such that Y is an instance of purchase order, Z buys V from W, and X is a unique ID for Z with respect to Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners