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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Touching
Touching(Tocar)

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 11482-11483
(documentation Touching JapaneseLanguage "2つの 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 11480-11480 Tocar e' uma sub-classe de Transferencia

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


(biochemicalAgentDelivery BacillusAnthracis Touching) WMD.kif 284-284 biochemicalAgentDelivery BacillusAnthracis and Tocar
(biochemicalAgentDelivery BacterialAgent Touching) WMD.kif 201-201 biochemicalAgentDelivery BacterialAgent and Tocar
(biochemicalAgentDelivery BlisterAgent Touching) WMD.kif 476-476 biochemicalAgentDelivery BlisterAgent and Tocar
(biochemicalAgentDelivery LassaVirus Touching) WMD.kif 1859-1859 biochemicalAgentDelivery LassaVirus and Tocar
(subclass Catching Touching) Mid-level-ontology.kif 17101-17101 Catching e' uma sub-classe de Tocar
(subclass Embracing Touching) Mid-level-ontology.kif 11636-11636 Embracing e' uma sub-classe de Tocar
(subclass Grabbing Touching) Merge.kif 11503-11503 Grabbing e' uma sub-classe de Tocar
(subclass Impacting Touching) Merge.kif 11533-11533 Impactar e' uma sub-classe de Tocar
(subclass Kissing Touching) Mid-level-ontology.kif 11600-11600 Kissing e' uma sub-classe de Tocar
(subclass Licking Touching) Mid-level-ontology.kif 11625-11625 Licking e' uma sub-classe de Tocar
(subclass Massaging Touching) Mid-level-ontology.kif 5701-5701 Massaging e' uma sub-classe de Tocar
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1534-1534 TouchSurfaceAction e' uma sub-classe de Tocar
(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 11485-11492

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 13638-13643


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