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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28132-28132
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28129-28129	The number 1 argument of uniqueIdWithRespectTo is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28130-28130	The number 2 argument of uniqueIdWithRespectTo is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28131-28131	The number 3 argument of uniqueIdWithRespectTo is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28128-28128	uniqueIdWithRespectTo is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4875-4875
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4874-4874
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4873-4873

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28148-28155	If a symbolic string is an instance of InvoiceNumber, then there exist a physical and an agent such that the physical is an instance of Invoice and a 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28214-28220	If a symbolic string is an instance of PurchaseOrderNumber, then there exist a physical, a cognitive agent,, , another cognitive agent and an entity such that the physical is an instance of PurchaseOrder and the cognitive agent buys the entity from the other cognitive agent and the symbolic string is a unique ID for the cognitive agent with respect to the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28137-28143	If a symbolic string is an instance of AccountNumber, then there exist a physical and an entity 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 another 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