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。") Merge.kif 11284-11285
(documentation Touching EnglishLanguage "Any Transfer where two Objects are brought into immediate physical contact with one another.") Merge.kif 11282-11283
(externalImage Touching "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Laughter_by_David_Shankbone.jpg") pictureList.kif 6926-6926
(subclass Touching Transfer) Merge.kif 11281-11281

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


(biochemicalAgentDelivery BacillusAnthracis Touching) WMD.kif 284-284
(biochemicalAgentDelivery BacterialAgent Touching) WMD.kif 201-201
(biochemicalAgentDelivery BlisterAgent Touching) WMD.kif 471-471
(biochemicalAgentDelivery LassaVirus Touching) WMD.kif 1708-1708
(subclass Catching Touching) Mid-level-ontology.kif 14394-14394
(subclass Embracing Touching) Mid-level-ontology.kif 9844-9844
(subclass Grabbing Touching) Merge.kif 11306-11306
(subclass Impacting Touching) Merge.kif 11338-11338
(subclass Kissing Touching) Mid-level-ontology.kif 9808-9808
(subclass Licking Touching) Mid-level-ontology.kif 9833-9833
(subclass Massaging Touching) Mid-level-ontology.kif 5936-5936
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1214-1214
(termFormat ChineseLanguage Touching "接触") chinese_format.kif 1127-1127
(termFormat EnglishLanguage Touching "touching") english_format.kif 814-814
(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 338-338
(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 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 11287-11294

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 510-520
(=>
    (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 597-618
(=>
    (instance ?TACTILE TactilePerception)
    (exists (?TOUCH)
        (and
            (instance ?TOUCH Touching)
            (subProcess ?TOUCH ?TACTILE))))
Merge.kif 13469-13474


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners