Touching - Sigma 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 11528-11529
(documentation Touching JapaneseLanguage "２つの Object が互いに直接物理的に接触する任意の Transfer 。")	japanese_format.kif 1816-1817
(externalImage Touching "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Laughter_by_David_Shankbone.jpg")	pictureList.kif 6925-6925
(subclass Touching Transfer)	Merge.kif 11526-11526	Touching is a subclass of transfer

appearance as argument number 2

(biochemicalAgentDelivery BacillusAnthracis Touching)	WMD.kif 284-284	Touching is a biochemical agent delivery of bacillus anthracis
(biochemicalAgentDelivery BacterialAgent Touching)	WMD.kif 201-201	Touching is a biochemical agent delivery of bacterial agent
(biochemicalAgentDelivery BlisterAgent Touching)	WMD.kif 476-476	Touching is a biochemical agent delivery of blister agent
(biochemicalAgentDelivery LassaVirus Touching)	WMD.kif 1859-1859	Touching is a biochemical agent delivery of lassa virus
(subclass Catching Touching)	Mid-level-ontology.kif 17319-17319	Catching is a subclass of touching
(subclass Embracing Touching)	Mid-level-ontology.kif 11854-11854	Embracing is a subclass of touching
(subclass Grabbing Touching)	Merge.kif 11549-11549	Grabbing is a subclass of touching
(subclass Impacting Touching)	Merge.kif 11579-11579	Impacting is a subclass of touching
(subclass Kissing Touching)	Mid-level-ontology.kif 11818-11818	Kissing is a subclass of touching
(subclass Licking Touching)	Mid-level-ontology.kif 11843-11843	Licking is a subclass of touching
(subclass Massaging Touching)	Mid-level-ontology.kif 5695-5695	Massaging is a subclass of touching
(subclass TouchSurfaceAction Touching)	ComputerInput.kif 1534-1534	Touch surface action is a subclass of touching
(termFormat ChineseLanguage Touching "接触")	chinese_format.kif 1127-1127	Touch surface action is a subclass of touching
(termFormat EnglishLanguage Touching "touching")	english_format.kif 1471-1471	Touch surface action is a subclass of touching
(termFormat FrenchLanguage Touching "toucher")	french_format.kif 805-805	Touch surface action is a subclass of touching
(termFormat Hindi Touching "shparshana")	terms-hindi.txt 337-337	Touch surface action is a subclass of touching
(termFormat ItalianLanguage Touching "Toccare")	terms-it.txt 340-340	Touch surface action is a subclass of touching
(termFormat JapaneseLanguage Touching "接触")	japanese_format.kif 2489-2489	Touch surface action is a subclass of touching
(termFormat PortugueseLanguage Touching "Tocar")	portuguese_format.kif 757-757	Touch surface action is a subclass of touching
(termFormat cb Touching "paghikam")	terms-cb.txt 342-342	Touch surface action is a subclass of touching
(termFormat cz Touching "touching")	terms-cz.txt 376-376	Touch surface action is a subclass of touching
(termFormat ro Touching "atingere")	relations-ro.kif 826-826	Touch surface action is a subclass of touching
(termFormat tg Touching "hinihipo")	terms-tg.txt 341-341	Touch surface action is a subclass of touching

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 11531-11538

If a process is an instance of touching and an agent is an agent of the process and an entity is a patient of the process,
then the agent is not connected to the entity holds during the beginning of the time of existence of the process and the agent is connected to the entity holds during the end of the time of existence of the process

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 624-634	If a process is an instance of baseball run and an agent is an agent of the process, then there exist another process and an entity such that the other process is an instance of touching and the other process is a subprocess of the process and the agent is an agent of the other process and the entity is a patient of the other process and the entity is an instance of home base
(=> (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 711-732	If a process is an instance of baseball run, then there exist another process, a third process,, , a fourth process,, , a fifth process,, , an entity,, , another entity,, , a third entity and a fourth entity such that the other process is an instance of touching and the third process is an instance of touching and the fourth process is an instance of touching and the fifth process is an instance of touching and the entity is an instance of baseball base and the other entity is an instance of baseball base and the third entity is an instance of baseball base and the fourth entity is an instance of baseball base and the entity is not equal to the other entity and the entity is not equal to the third entity and the entity is not equal to the fourth entity and the other entity is not equal to the third entity and the other entity is not equal to the fourth entity and the third entity is not equal to the fourth entity and the other process is a subprocess of the process and the third process is a subprocess of the process and the fourth process is a subprocess of the process and the fifth process is a subprocess of the process
(=> (instance ?TACTILE TactilePerception) (exists (?TOUCH) (and (instance ?TOUCH Touching) (subProcess ?TOUCH ?TACTILE))))	Merge.kif 13684-13689	If a process is an instance of tactile perception, then there exists another process such that the other process is an instance of touching and the other process is a subprocess of the process

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: