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 10999-11000
(externalImage Touching "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Laughter_by_David_Shankbone.jpg") pictureList.kif 6926-6926
(subclass Touching Transfer) Merge.kif 10997-10997 接触 是 转移 的 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 471-471 接触 是 发泡剂 的 biochemical 病毒传递
(biochemicalAgentDelivery LassaVirus Touching) WMD.kif 1830-1830 接触 是 拉萨病毒 的 biochemical 病毒传递
(subclass Catching Touching) Mid-level-ontology.kif 16375-16375 捕 是 接触 的 subclass
(subclass Embracing Touching) Mid-level-ontology.kif 10989-10989 拥抱 是 接触 的 subclass
(subclass Grabbing Touching) Merge.kif 11020-11020 抓 是 接触 的 subclass
(subclass Impacting Touching) Merge.kif 11050-11050 碰撞 是 接触 的 subclass
(subclass Kissing Touching) Mid-level-ontology.kif 10953-10953 接吻 是 接触 的 subclass
(subclass Licking Touching) Mid-level-ontology.kif 10978-10978 舔 是 接触 的 subclass
(subclass Massaging Touching) Mid-level-ontology.kif 5362-5362 按摩 是 接触 的 subclass
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1561-1561 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 11002-11009

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 13027-13032


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