Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Touching

 Sigma KEE - Touching
Touching

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 and Transfer

appearance as argument number 2
-------------------------


(biochemicalAgentDelivery BacillusAnthracis Touching) WMD.kif 284-284 Touching 是 炭疽桿菌 的 biochemical 病毒傳遞
(biochemicalAgentDelivery BacterialAgent Touching) WMD.kif 201-201 Touching 是 細菌劑 的 biochemical 病毒傳遞
(biochemicalAgentDelivery BlisterAgent Touching) WMD.kif 476-476 Touching 是 發泡劑 的 biochemical 病毒傳遞
(biochemicalAgentDelivery LassaVirus Touching) WMD.kif 1859-1859 Touching 是 拉薩病毒 的 biochemical 病毒傳遞
(subclass Catching Touching) Mid-level-ontology.kif 17128-17128 子類 捕 and Touching
(subclass Embracing Touching) Mid-level-ontology.kif 11663-11663 子類 擁抱 and Touching
(subclass Grabbing Touching) Merge.kif 11549-11549 子類 抓 and Touching
(subclass Impacting Touching) Merge.kif 11579-11579 子類 Impacting and Touching
(subclass Kissing Touching) Mid-level-ontology.kif 11627-11627 子類 接吻 and Touching
(subclass Licking Touching) Mid-level-ontology.kif 11652-11652 子類 舔 and Touching
(subclass Massaging Touching) Mid-level-ontology.kif 5695-5695 子類 按摩 and Touching
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1534-1534 子類 TouchSurfaceAction and Touching
(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 ro Touching "atingere") relations-ro.kif 826-826
(termFormat tg Touching "hinihipo") terms-tg.txt 341-341

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

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
(=>
    (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
(=>
    (instance ?TACTILE TactilePerception)
    (exists (?TOUCH)
        (and
            (instance ?TOUCH Touching)
            (subProcess ?TOUCH ?TACTILE))))		 Merge.kif 13684-13689


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