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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Touching
Touching(touching)
French_kiss, adhere, adjoin, arousal, autoeroticism, autoerotism, ballottement, blowjob, boost_up, brace, brush, brushed, canoodle, caress, caressing, chafe, choke, chuck, clasp, claw, cleave, clench, clinch, cling, cling_to, close, clutch, cock_sucking, cohere, collar, come_together, connection, connexion, contact, cradle, crease, cuddle, cuddling, cunnilinctus, cunnilingus, dab, dandle, deep_kiss, disturb, effleurage, elbow, expression, fall, feel, fellatio...

VerbNet: cling-22.5|cling, contiguous_location-47.8|touch, other_cos-45.4|steady, wipe_instr-10.4.2|brush, touch-20|fondle, touch-20|rub, fill-9.8|choke, touch-20|pat, swat-18.2|claw, cling-22.5|cling, cling-22.5|cling, hold-15.1|clutch, hold-15.1|clutch, cling-22.5|cling, contiguous_location-47.8|touch, touch-20|graze, marry-36.2|cuddle, light_emission-43.1|shine, crane-40.3.2|twiddle, touch-20|fondle, touch-20|rub, fill-9.8|choke, fill-9.8|choke, force-59|goad, hold-15.1|grab, touch-20|grasp, carve-21.2|grate, touch-20|graze, touch-20|grope, cling-22.5|cling, hold-15.1|hold, hold-15.1|clutch, touch-20|grasp, hold-15.1|clutch, swat-18.2|scratch, push-12|jostle, touch-20|kiss, correspond-36.1|neck, contiguous_location-47.8|touch, correspond-36.1|neck, touch-20|twinge, marry-36.2|nuzzle, marry-36.2|nuzzle, wipe_manner-10.4.1|wipe, touch-20|pat, swat-18.2|paw, swat-18.2|peck, touch-20|pet, touch-20|twinge, force-59|goad, ...


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 10682-10683
(externalImage Touching "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Laughter_by_David_Shankbone.jpg") pictureList.kif 6926-6926
(subclass Touching Transfer) Merge.kif 10680-10680 Touching is a subclass of transfer

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


(biochemicalAgentDelivery BacillusAnthracis Touching) WMD.kif 284-284 Touching is a biochemical agent delivery of bacillus anthracis
(biochemicalAgentDelivery BacterialAgent Touching) WMD.kif 201-201 Touching is a biochemical agent delivery of bacterial agent
(biochemicalAgentDelivery BlisterAgent Touching) WMD.kif 471-471 Touching is a biochemical agent delivery of blister agent
(biochemicalAgentDelivery LassaVirus Touching) WMD.kif 1725-1725 Touching is a biochemical agent delivery of lassa virus
(subclass Catching Touching) Mid-level-ontology.kif 14707-14707 Catching is a subclass of touching
(subclass Embracing Touching) Mid-level-ontology.kif 9880-9880 Embracing is a subclass of touching
(subclass Grabbing Touching) Merge.kif 10703-10703 Grabbing is a subclass of touching
(subclass Impacting Touching) Merge.kif 10733-10733 Impacting is a subclass of touching
(subclass Kissing Touching) Mid-level-ontology.kif 9844-9844 Kissing is a subclass of touching
(subclass Licking Touching) Mid-level-ontology.kif 9869-9869 Licking is a subclass of touching
(subclass Massaging Touching) Mid-level-ontology.kif 5946-5946 Massaging is a subclass of touching
(subclass TouchSurfaceAction Touching) ComputerInput.kif 1561-1561 TouchSurfaceAction is a subclass of touching
(termFormat ChineseLanguage Touching "接触") chinese_format.kif 1127-1127
(termFormat EnglishLanguage Touching "touching") english_format.kif 1476-1476

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 10685-10692

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 510-520
(=>
    (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 597-618
(=>
    (instance ?TACTILE TactilePerception)
    (exists (?TOUCH)
        (and
            (instance ?TOUCH Touching)
            (subProcess ?TOUCH ?TACTILE))))
Merge.kif 12615-12620


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners