TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Touching ChineseLanguage "这是任何把两个 Object 拿到能够互相接触距离的 Transfer。")	chinese_format.kif 3048-3049
(documentation Touching EnglishLanguage "Any Transfer where two Objects are brought into immediate physical contact with one another.")	Merge.kif 11328-11329
(externalImage Touching "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Laughter_by_David_Shankbone.jpg")	pictureList.kif 6926-6926
(subclass Touching Transfer)	Merge.kif 11326-11326	subclass Touching and Transfer

appearance as argument number 2

(biochemicalAgentDelivery BacillusAnthracis Touching)	WMD.kif 284-284	biochemicalAgentDelivery BacillusAnthracis and Touching
(biochemicalAgentDelivery BacterialAgent Touching)	WMD.kif 201-201	biochemicalAgentDelivery BacterialAgent and Touching
(biochemicalAgentDelivery BlisterAgent Touching)	WMD.kif 476-476	biochemicalAgentDelivery BlisterAgent and Touching
(biochemicalAgentDelivery LassaVirus Touching)	WMD.kif 1850-1850	biochemicalAgentDelivery LassaVirus and Touching
(subclass Catching Touching)	Mid-level-ontology.kif 16595-16595	subclass Catching and Touching
(subclass Embracing Touching)	Mid-level-ontology.kif 11172-11172	subclass Embracing and Touching
(subclass Grabbing Touching)	Merge.kif 11349-11349	subclass Grabbing and Touching
(subclass Impacting Touching)	Merge.kif 11379-11379	subclass Impacting and Touching
(subclass Kissing Touching)	Mid-level-ontology.kif 11136-11136	subclass Kissing and Touching
(subclass Licking Touching)	Mid-level-ontology.kif 11161-11161	subclass Licking and Touching
(subclass Massaging Touching)	Mid-level-ontology.kif 5408-5408	subclass Massaging and Touching
(subclass TouchSurfaceAction Touching)	ComputerInput.kif 1531-1531	subclass TouchSurfaceAction and Touching
(termFormat ChineseLanguage Touching "接触")	chinese_format.kif 1127-1127
(termFormat EnglishLanguage Touching "touching")	english_format.kif 1471-1471

antecedent

(=>
    (and
        (instance ?TOUCH Touching)
        (agent ?TOUCH ?OBJ1)
        (patient ?TOUCH ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?TOUCH))
            (not
                (connected ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?TOUCH))
            (connected ?OBJ1 ?OBJ2))))

Merge.kif 11331-11338

instance Process and Touching agent Process and Agent patient Process and Entity
holdsDuring BeginFn WhenFn Process and connected Agent and Entity holdsDuring EndFn WhenFn Process and connected Agent and Entity

consequent

(=> (and (instance ?R BaseballRun) (agent ?R ?A)) (exists (?T ?H) (and (instance ?T Touching) (subProcess ?T ?R) (agent ?T ?A) (patient ?T ?H) (instance ?H HomeBase))))	Sports.kif 555-565	instance Process and BaseballRun agent Process and Agent Process Entity instance Process and Touching subProcess Process and Process agent Process and Agent patient Process and Entity instance Entity and HomeBase
(=> (instance ?HR BaseballRun) (exists (?T1 ?T2 ?T3 ?T4 ?B1 ?B2 ?B3 ?B4) (and (instance ?T1 Touching) (instance ?T2 Touching) (instance ?T3 Touching) (instance ?T4 Touching) (instance ?B1 BaseballBase) (instance ?B2 BaseballBase) (instance ?B3 BaseballBase) (instance ?B4 BaseballBase) (not (equal ?B1 ?B2)) (not (equal ?B1 ?B3)) (not (equal ?B1 ?B4)) (not (equal ?B2 ?B3)) (not (equal ?B2 ?B4)) (not (equal ?B3 ?B4)) (subProcess ?T1 ?HR) (subProcess ?T2 ?HR) (subProcess ?T3 ?HR) (subProcess ?T4 ?HR))))	Sports.kif 642-663	instance Process and BaseballRun Process Process, Process, Process, Entity, Entity, Entity and Entity instance Process and Touching instance Process and Touching instance Process and Touching instance Process and Touching instance Entity and BaseballBase instance Entity and BaseballBase instance Entity and BaseballBase instance Entity and BaseballBase equal Entity and Entity equal Entity and Entity equal Entity and Entity equal Entity and Entity equal Entity and Entity equal Entity and Entity subProcess Process and Process subProcess Process and Process subProcess Process and Process subProcess Process and Process
(=> (instance ?TACTILE TactilePerception) (exists (?TOUCH) (and (instance ?TOUCH Touching) (subProcess ?TOUCH ?TACTILE))))	Merge.kif 13411-13416	instance Process and TactilePerception Process instance Process and Touching subProcess Process and Process

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: