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 11632-11633
(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 6924-6924
(subclass Touching Transfer) Merge.kif 11630-11630 接触转移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 1859-1859 接触拉萨病毒biochemical 病毒传递
(subclass Catching Touching) Mid-level-ontology.kif 18488-18488 接触subclass
(subclass Embracing Touching) Mid-level-ontology.kif 12967-12967 拥抱接触subclass
(subclass Grabbing Touching) Merge.kif 11653-11653 接触subclass
(subclass Impacting Touching) Merge.kif 11683-11683 碰撞接触subclass
(subclass Kissing Touching) Mid-level-ontology.kif 12931-12931 接吻接触subclass
(subclass Licking Touching) Mid-level-ontology.kif 12956-12956 接触subclass
(subclass Massaging Touching) Mid-level-ontology.kif 6638-6638 按摩接触subclass
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1534-1534 TouchSurfaceAction接触subclass
(termFormat ChineseLanguage Touching "接触") chinese_format.kif 1127-1127 TouchSurfaceAction接触subclass
(termFormat EnglishLanguage Touching "touching") english_format.kif 1471-1471 TouchSurfaceAction接触subclass
(termFormat FrenchLanguage Touching "toucher") french_format.kif 805-805 TouchSurfaceAction接触subclass
(termFormat Hindi Touching "shparshana") terms-hindi.txt 337-337 TouchSurfaceAction接触subclass
(termFormat ItalianLanguage Touching "Toccare") terms-it.txt 340-340 TouchSurfaceAction接触subclass
(termFormat JapaneseLanguage Touching "接触") japanese_format.kif 2489-2489 TouchSurfaceAction接触subclass
(termFormat PortugueseLanguage Touching "Tocar") portuguese_format.kif 757-757 TouchSurfaceAction接触subclass
(termFormat cb Touching "paghikam") terms-cb.txt 342-342 TouchSurfaceAction接触subclass
(termFormat cz Touching "touching") terms-cz.txt 376-376 TouchSurfaceAction接触subclass
(termFormat de Touching "Beruehren") terms-de.txt 635-635 TouchSurfaceAction接触subclass
(termFormat ro Touching "atingere") relations-ro.kif 826-826 TouchSurfaceAction接触subclass
(termFormat tg Touching "hinihipo") terms-tg.txt 341-341 TouchSurfaceAction接触subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 11635-11642

consequent
-------------------------


(=>
    (and
        (attribute ?G ToxicandInfectiousSubstance)
        (or
            (instance ?G Substance)
            (instance ?G Microorganism)))
    (exists (?O ?P ?I ?CLASS)
        (and
            (or
                (instance ?O Human)
                (instance ?O Animal))
            (orientation ?G ?O Near)
            (or
                (instance ?P Inhaling)
                (instance ?P Ingesting)
                (instance ?P Touching))
            (agent ?P ?O)
            (patient ?P ?G)
            (causes ?P ?I)
            (patient ?I ?O)
            (instance ?I ?CLASS)
            (capability ?CLASS resource ?G)
            (or
                (subclass ?CLASS Injuring)
                (subclass ?CLASS Death)))))
Transportation.kif 4203-4227
(=>
    (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 636-646
(=>
    (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 723-744
(=>
    (instance ?TACTILE TactilePerception)
    (exists (?TOUCH)
        (and
            (instance ?TOUCH Touching)
            (subProcess ?TOUCH ?TACTILE))))
Merge.kif 13792-13797


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