TreeView Knowledge Base Browser - Grabbing

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Grabbing

Grabbing(grabbing)

catch, clutch, grab, grapple, grip, handle, palm, prehend, seize, take_hold_of

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3052-3053
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11528-11529
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1820-1821
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11526-11526	Grabbing is a subclass of attaching
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11525-11525	Grabbing is a subclass of touching

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6510-6510	Biting is a subclass of grabbing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6524-6524	Strangling is a subclass of grabbing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26352-26352
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26351-26351
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26350-26350

antecedent

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

Merge.kif 11531-11538

If a process is an instance of grabbing and an agent is an agent of the process and an entity is a patient of the process,
then the agent doesn't grasp the entity holds during the beginning of the time of existence of the process and the agent grasps the entity holds during the end of the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1457-1466	If a physical is an instance of handle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of grabbing and the physical is a patient of the entity and the other entity is an instrument for the entity and the other entity is an instance of hand
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26470-26481	If an object is an instance of grab bar, then there exists another object such that the other object is an instance of wall and the object is connected to the other object and the object has the purpose there exists an entity such that the entity is an instance of grabbing and the object is an instrument for the entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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