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 29945-29948
(domain uniqueIdWithRespectTo 1 Physical) Mid-level-ontology.kif 29942-29942 Le nombre 1 argument de uniqueIdWithRespectTo est une instance de physique
(domain uniqueIdWithRespectTo 2 Physical) Mid-level-ontology.kif 29943-29943 Le nombre 2 argument de uniqueIdWithRespectTo est une instance de physique
(domain uniqueIdWithRespectTo 3 SymbolicString) Mid-level-ontology.kif 29944-29944 Le nombre 3 argument de uniqueIdWithRespectTo est une instance de cha�ne sympbolique
(instance uniqueIdWithRespectTo TernaryPredicate) Mid-level-ontology.kif 29941-29941 uniqueIdWithRespectTo est une instance de pr�dicat ternaire

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 65968-65968

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 29965-29972
(=>
    (instance ?AN PurchaseOrderNumber)
    (exists (?PO ?BUYER ?SELLER ?ENT)
        (and
            (instance ?PO PurchaseOrder)
            (buys ?BUYER ?SELLER ?ENT)
            (uniqueIdWithRespectTo ?PO ?BUYER ?AN))))		 Mid-level-ontology.kif 30038-30044
(=>
    (instance ?NUMBER AccountNumber)
    (exists (?CORPORATION ?AGENT ?HUMAN)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT AutonomousAgent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))		 Mid-level-ontology.kif 29954-29960


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