uniqueIdWithRespectTo - Sigma Knowledge base Browser

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 30210-30213
(domain uniqueIdWithRespectTo 1 Physical)	Mid-level-ontology.kif 30207-30207	The number 1 argument of unique ID with respect to is an instance of physical
(domain uniqueIdWithRespectTo 2 Physical)	Mid-level-ontology.kif 30208-30208	The number 2 argument of unique ID with respect to is an instance of physical
(domain uniqueIdWithRespectTo 3 SymbolicString)	Mid-level-ontology.kif 30209-30209	The number 3 argument of unique ID with respect to is an instance of symbolic string
(instance uniqueIdWithRespectTo TernaryPredicate)	Mid-level-ontology.kif 30206-30206	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 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 30230-30237	If a symbolic string is an instance of invoice number, then there exist a physical, an agent and a process such that the physical is an instance of invoice and the process is an instance of selling and the agent is an agent of the process and the symbolic string is a unique ID for the agent with respect to the physical
(=> (instance ?AN PurchaseOrderNumber) (exists (?PO ?BUYER ?SELLER ?ENT) (and (instance ?PO PurchaseOrder) (buys ?BUYER ?SELLER ?ENT) (uniqueIdWithRespectTo ?PO ?BUYER ?AN))))	Mid-level-ontology.kif 30303-30309	If a symbolic string is an instance of purchase order number, then there exist a physical, a cognitive agent,, , an agent and an entity such that the physical is an instance of purchase order and the cognitive agent buys the entity from the agent and the symbolic string is a unique ID for the cognitive agent with respect to the physical
(=> (instance ?NUMBER AccountNumber) (exists (?CORPORATION ?AGENT ?HUMAN) (and (instance ?CORPORATION Corporation) (instance ?AGENT AutonomousAgent) (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))	Mid-level-ontology.kif 30219-30225	If a symbolic string is an instance of account number, then there exist a physical, an entity and another physical such that the physical is an instance of corporation and the entity is an instance of agent and the symbolic string is a unique ID for the other physical with respect to the physical

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