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 11315-11316
(externalImage Touching "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Laughter_by_David_Shankbone.jpg") pictureList.kif 6926-6926
(subclass Touching Transfer) Merge.kif 11313-11313 接触转移subclass

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


(biochemicalAgentDelivery BacillusAnthracis Touching) WMD.kif 284-284 接触炭疽杆菌biochemical 病毒传递
(biochemicalAgentDelivery BacterialAgent Touching) WMD.kif 201-201 接触细菌剂biochemical 病毒传递
(biochemicalAgentDelivery BlisterAgent Touching) WMD.kif 476-476 接触发泡剂biochemical 病毒传递
(biochemicalAgentDelivery LassaVirus Touching) WMD.kif 1850-1850 接触拉萨病毒biochemical 病毒传递
(subclass Catching Touching) Mid-level-ontology.kif 16520-16520 接触subclass
(subclass Embracing Touching) Mid-level-ontology.kif 11117-11117 拥抱接触subclass
(subclass Grabbing Touching) Merge.kif 11336-11336 接触subclass
(subclass Impacting Touching) Merge.kif 11366-11366 碰撞接触subclass
(subclass Kissing Touching) Mid-level-ontology.kif 11081-11081 接吻接触subclass
(subclass Licking Touching) Mid-level-ontology.kif 11106-11106 接触subclass
(subclass Massaging Touching) Mid-level-ontology.kif 5385-5385 按摩接触subclass
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1531-1531 TouchSurfaceAction接触subclass
(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 11318-11325

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 13392-13397


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