TreeView 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 11552-11553
(documentation Grabbing JapaneseLanguage "Touching の任意のインスタンスは、Touching の grasp が patient である状況をもたらす。")	japanese_format.kif 1820-1821
(subclass Grabbing Attaching)	Merge.kif 11550-11550	Grabbing is a subclass of attaching
(subclass Grabbing Touching)	Merge.kif 11549-11549	Grabbing is a subclass of touching

appearance as argument number 2

(subclass Biting Grabbing)	Mid-level-ontology.kif 6505-6505	Biting is a subclass of grabbing
(subclass Strangling Grabbing)	Mid-level-ontology.kif 6519-6519	Strangling is a subclass of grabbing
(termFormat ChineseLanguage Grabbing "抓")	domainEnglishFormat.kif 26352-26352
(termFormat ChineseTraditionalLanguage Grabbing "抓")	domainEnglishFormat.kif 26351-26351
(termFormat EnglishLanguage Grabbing "grabbing")	domainEnglishFormat.kif 26350-26350

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 11555-11562

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 ?H Handle) (hasPurpose ?H (exists (?G ?D) (and (instance ?G Grabbing) (patient ?G ?H) (instrument ?G ?D) (instance ?D Hand)))))	Mid-level-ontology.kif 1450-1459	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 ?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 26515-26526	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

KB Term:			Term intersection

English Word: