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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 11328-11329
(externalImage Touching "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Laughter_by_David_Shankbone.jpg") pictureList.kif 6926-6926
(subclass Touching Transfer) Merge.kif 11326-11326

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 1850-1850
(subclass Catching Touching) Mid-level-ontology.kif 16595-16595
(subclass Embracing Touching) Mid-level-ontology.kif 11172-11172
(subclass Grabbing Touching) Merge.kif 11349-11349
(subclass Impacting Touching) Merge.kif 11379-11379
(subclass Kissing Touching) Mid-level-ontology.kif 11136-11136
(subclass Licking Touching) Mid-level-ontology.kif 11161-11161
(subclass Massaging Touching) Mid-level-ontology.kif 5408-5408
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1531-1531
(termFormat ChineseLanguage Touching "接触") chinese_format.kif 1127-1127
(termFormat EnglishLanguage Touching "touching") english_format.kif 1471-1471

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 11331-11338

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 555-565
(=>
    (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 642-663
(=>
    (instance ?TACTILE TactilePerception)
    (exists (?TOUCH)
        (and
            (instance ?TOUCH Touching)
            (subProcess ?TOUCH ?TACTILE))))
Merge.kif 13411-13416


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