Confining - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3143-3144
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11986-11988
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11985-11985	Confining is a subclass of keeping

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13439-13439	Imprisoning is a subclass of confining
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1155-1155
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1527-1527

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 6482-6482

The number 1 argument of detainee is an instance of confining

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11997-12002	If a process is an instance of confining and a cognitive agent is a patient of the process and the cognitive agent is an instance of human, then the cognitive agent doesn't desire the cognitive agent is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11990-11995	If a process is an instance of confining, then there exists an entity such that the entity is an instance of animal and the entity is a patient of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Justice.kif 26-28	A sentient agent detained at time in place a time position for an object if and only if the sentient agent plays role in event of type detainee for confining with the time position and the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16775-16783	If a process is an instance of escaping and an agent is an agent of the process, then there exists another process such that the other process is an instance of confining and the agent is a patient of the other process and the time of existence of the other process meets the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12687-12697	If a process is an instance of hunting and an entity is a patient of the process, then the process has the purpose there exists the entityROC such that the entity is a patient of the entityROC and the entityROC is an instance of confining or the entityROC is an instance of killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24802-24810	If a physical is an instance of kennel, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of domestic animal and the other entity is an instance of confining and the entity is a patient of the other entity and the other entity is located at 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6466-6476	If a physical is an instance of prison, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of confining and the entity is located at 2 and the other entity is a patient of the entity and the other entity is an instance of human and the third entity is an agent of the entity and the third entity is an instance of government
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4408-4416	If a physical is an instance of pen, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of livestock and the entity is an instance of confining and the physical is an instrument for the entity and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4396-4402	If a physical is an instance of trap or cage, then the physical has the purpose there exists an entity such that the entity is an instance of confining and the physical is an instrument for the entity

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

KB Term:			Term intersection

English Word: