Grabbing - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Grabbing ChineseLanguage "这是在任何 Touching 的实例时，Touching 导致 agent grasps patient 的情况。")	chinese_format.kif 3052-3053
(documentation Grabbing EnglishLanguage "Any instance of Touching which results in a situation where the agent grasps the patient of the Touching.")	Merge.kif 11656-11657
(documentation Grabbing JapaneseLanguage "Touching の任意のインスタンスは、Touching の grasp が patient である状況をもたらす。")	japanese_format.kif 1820-1821
(subclass Grabbing Attaching)	Merge.kif 11654-11654	Grabbing is a subclass of attaching
(subclass Grabbing Touching)	Merge.kif 11653-11653	Grabbing is a subclass of touching

appearance as argument number 2

(subclass Biting Grabbing)	Mid-level-ontology.kif 7448-7448	Biting is a subclass of grabbing
(subclass Strangling Grabbing)	Mid-level-ontology.kif 7462-7462	Strangling is a subclass of grabbing
(termFormat ChineseLanguage Grabbing "抓")	domainEnglishFormat.kif 26363-26363	Strangling is a subclass of grabbing
(termFormat ChineseTraditionalLanguage Grabbing "抓")	domainEnglishFormat.kif 26362-26362	Strangling is a subclass of grabbing
(termFormat EnglishLanguage Grabbing "grabbing")	domainEnglishFormat.kif 26361-26361	Strangling is a subclass of grabbing

antecedent

(=>
    (and
        (instance ?GRAB Grabbing)
        (agent ?GRAB ?AGENT)
        (patient ?GRAB ?THING))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?GRAB))
            (not
                (grasps ?AGENT ?THING)))
        (holdsDuring
            (EndFn
                (WhenFn ?GRAB))
            (grasps ?AGENT ?THING))))

Merge.kif 11659-11666

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

(=> (instance ?GUN Handgun) (hasPurpose ?GUN (exists (?MAN ?S ?H ?G ?S) (and (instance ?MAN Human) (instance ?S Shooting) (instrument ?S ?GUN) (agent ?S ?MAN) (instance ?G Grabbing) (subProcess ?G ?S) (patient ?G ?GUN) (agent ?G ?MAN) (instrument ?G ?H) (instance ?H Hand) (part ?H ?MAN) (not (modalAttribute (exists (?H2) (and (instance ?H2 Hand) (not (equal ?H ?H2)) (part ?H2 ?MAN) (instrument ?G ?H2))) Necessity))))))	Mid-level-ontology.kif 1976-2000	If a physical is an instance of hand gun, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the other entity such that the entity is an instance of human and the other entity is an instance of shooting and the physical is an instrument for the other entity and the entity is an agent of the other entity and the fourth entity is an instance of grabbing and the fourth entity is a subprocess of the other entity and the physical is a patient of the fourth entity and the entity is an agent of the fourth entity and the third entity is an instrument for the fourth entity and the third entity is an instance of hand and the third entity is a part of the entity and the statement there exists the third entity2 such that the third entity2 is an instance of hand and equal the third entity and the third entity2 and the third entity2 is a part of the entity and the third entity2 is an instrument for the fourth entity doesn't have the modal force of necessity
(=> (instance ?H Handle) (hasPurpose ?H (exists (?G ?D) (and (instance ?G Grabbing) (patient ?G ?H) (instrument ?G ?D) (instance ?D Hand)))))	Mid-level-ontology.kif 1674-1683	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
(=> (instance ?L Longgun) (hasPurpose ?L (exists (?S ?A) (and (instance ?S Shooting) (instrument ?S ?L) (agent ?S ?A) (instance ?A Human) (holdsDuring (WhenFn ?S) (exists (?G) (and (instance ?G Grabbing) (agent ?G ?A) (patient ?G ?L) (modalAttribute (exists (?H1 ?H2) (and (instance ?H1 Hand) (part ?H1 ?A) (instance ?H2 Hand) (part ?H2 ?A) (not (equal ?H1 ?H2)) (instrument ?G ?H1) (instrument ?G ?H2))) Necessity))))))))	Mid-level-ontology.kif 1897-1923	If a physical is an instance of long gun, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the physical is an instrument for the entity and the other entity is an agent of the entity and the other entity is an instance of human and there exists a third entity such that the third entity is an instance of grabbing and the other entity is an agent of the third entity and the physical is a patient of the third entity and the statement there exist a fourth entity and a fifth entity such that the fourth entity is an instance of hand and the fourth entity is a part of the other entity and the fifth entity is an instance of hand and the fifth entity is a part of the other entity and equal the fourth entity and the fifth entity and the fourth entity is an instrument for the third entity and the fifth entity is an instrument for the third entity has the modal force of necessity holds during the time of existence of the entity
(=> (instance ?S Gunstock) (hasPurpose ?S (exists (?G ?GRAB) (and (instance ?G Longgun) (part ?S ?G) (instance ?GRAB Grabbing) (patient ?GRAB ?S) (destination ?GRAB ?G)))))	Mid-level-ontology.kif 1413-1422	If a physical is an instance of gun stock, then the physical has the purpose there exist an entity and the entityRAB such that the entity is an instance of long gun and the physical is a part of the entity and the entityRAB is an instance of grabbing and the physical is a patient of the entityRAB and the entityRAB ends up at the entity
(=> (instance ?X GrabBar) (and (exists (?WALL) (and (instance ?WALL Wall) (connected ?X ?WALL))) (hasPurpose ?X (exists (?GRAB) (and (instance ?GRAB Grabbing) (instrument ?GRAB ?X))))))	Mid-level-ontology.kif 28381-28392	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
(=> (instance ?X RoboticGripper) (hasPurpose ?X (exists (?G ?O) (and (instance ?G Grabbing) (instance ?O Object) (patient ?G ?O) (instrument ?G ?X)))))	engineering.kif 1024-1032	If a physical is an instance of robotic gripper, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of grabbing and the other entity is an instance of object and the other entity is a patient of the entity 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: