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 30178-30181
(domain uniqueIdWithRespectTo 1 Physical) Mid-level-ontology.kif 30175-30175 uniqueIdWithRespectTo 的 1 数量 是 物理 的 instance
(domain uniqueIdWithRespectTo 2 Physical) Mid-level-ontology.kif 30176-30176 uniqueIdWithRespectTo 的 2 数量 是 物理 的 instance
(domain uniqueIdWithRespectTo 3 SymbolicString) Mid-level-ontology.kif 30177-30177 uniqueIdWithRespectTo 的 3 数量 是 符号串 的 instance
(instance uniqueIdWithRespectTo TernaryPredicate) Mid-level-ontology.kif 30174-30174 uniqueIdWithRespectTo 是 三元谓语 的 instance

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


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

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 30198-30205
(=>
    (instance ?AN PurchaseOrderNumber)
    (exists (?PO ?BUYER ?SELLER ?ENT)
        (and
            (instance ?PO PurchaseOrder)
            (buys ?BUYER ?SELLER ?ENT)
            (uniqueIdWithRespectTo ?PO ?BUYER ?AN))))		 Mid-level-ontology.kif 30271-30277
(=>
    (instance ?NUMBER AccountNumber)
    (exists (?CORPORATION ?AGENT ?HUMAN)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT AutonomousAgent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))		 Mid-level-ontology.kif 30187-30193


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