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 29909-29912
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29906-29906	The number 1 argument of unique ID with respect to is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29907-29907	The number 2 argument of unique ID with respect to is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29908-29908	The number 3 argument of unique ID with respect to is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29905-29905	unique ID with respect to is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4866-4866
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4865-4865
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4864-4864
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65966-65966

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29929-29936	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30002-30008	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29918-29924	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