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 11587-11588
(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 6924-6924
(subclass Touching Transfer)	Merge.kif 11585-11585

appearance as argument number 2

(biochemicalAgentDelivery BacillusAnthracis Touching)	WMD.kif 284-284
(biochemicalAgentDelivery BacterialAgent Touching)	WMD.kif 201-201
(biochemicalAgentDelivery BlisterAgent Touching)	WMD.kif 476-476
(biochemicalAgentDelivery LassaVirus Touching)	WMD.kif 1859-1859
(subclass Catching Touching)	Mid-level-ontology.kif 18498-18498
(subclass Embracing Touching)	Mid-level-ontology.kif 12985-12985
(subclass Grabbing Touching)	Merge.kif 11608-11608
(subclass Impacting Touching)	Merge.kif 11638-11638
(subclass Kissing Touching)	Mid-level-ontology.kif 12949-12949
(subclass Licking Touching)	Mid-level-ontology.kif 12974-12974
(subclass Massaging Touching)	Mid-level-ontology.kif 6664-6664
(subclass TouchSurfaceAction Touching)	ComputerInput.kif 1534-1534
(termFormat ChineseLanguage Touching "接触")	chinese_format.kif 1127-1127
(termFormat EnglishLanguage Touching "touching")	english_format.kif 1471-1471
(termFormat FrenchLanguage Touching "toucher")	french_format.kif 805-805
(termFormat Hindi Touching "shparshana")	terms-hindi.txt 337-337
(termFormat ItalianLanguage Touching "Toccare")	terms-it.txt 340-340
(termFormat JapaneseLanguage Touching "接触")	japanese_format.kif 2489-2489
(termFormat PortugueseLanguage Touching "Tocar")	portuguese_format.kif 757-757
(termFormat cb Touching "paghikam")	terms-cb.txt 342-342
(termFormat cz Touching "touching")	terms-cz.txt 376-376
(termFormat de Touching "Beruehren")	terms-de.txt 635-635
(termFormat ro Touching "atingere")	relations-ro.kif 826-826
(termFormat tg Touching "hinihipo")	terms-tg.txt 341-341

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 11590-11597

consequent

(=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death)))))	Transportation.kif 4197-4221
(=> (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 636-646
(=> (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 723-744
(=> (instance ?TACTILE TactilePerception) (exists (?TOUCH) (and (instance ?TOUCH Touching) (subProcess ?TOUCH ?TACTILE))))	Merge.kif 13743-13748

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: