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...

appearance as argument number 1
-------------------------


s__documentation(s__Touching,s__ChineseLanguage,'"这是任何把两个 Object 拿到能够互相接触距离的 Transfer。"')

chinese_format.kif 3048-3049
s__documentation(s__Touching,s__EnglishLanguage,'"Any Transfer where two Objects are brought into immediate physical contact with one another."')

Merge.kif 10955-10956
s__externalImage(s__Touching,'"http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Laughter_by_David_Shankbone.jpg"')

pictureList.kif 6926-6926
s__instance(s__Transfer,s__SetOrClass)

s__instance(s__Touching,s__SetOrClass)

s__subclass(s__Touching,s__Transfer)

Merge.kif 10953-10953 Touching is a subclass of transfer

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


s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Touching)

WMD.kif 284-284 Touching is a biochemical agent delivery of bacillus anthracis
s__biochemicalAgentDelivery(s__BacterialAgent,s__Touching)

WMD.kif 201-201 Touching is a biochemical agent delivery of bacterial agent
s__biochemicalAgentDelivery(s__BlisterAgent,s__Touching)

WMD.kif 471-471 Touching is a biochemical agent delivery of blister agent
s__biochemicalAgentDelivery(s__LassaVirus,s__Touching)

WMD.kif 1798-1798 Touching is a biochemical agent delivery of lassa virus
s__instance(s__Touching,s__SetOrClass)

s__instance(s__Catching,s__SetOrClass)

s__subclass(s__Catching,s__Touching)

Mid-level-ontology.kif 15752-15752 Catching is a subclass of touching
s__subclass(s__Embracing,s__Touching)

s__instance(s__Touching,s__SetOrClass)

s__instance(s__Embracing,s__SetOrClass)

Mid-level-ontology.kif 10503-10503 Embracing is a subclass of touching
s__instance(s__Touching,s__SetOrClass)

s__subclass(s__Grabbing,s__Touching)

s__instance(s__Grabbing,s__SetOrClass)

Merge.kif 10976-10976 Grabbing is a subclass of touching
s__instance(s__Touching,s__SetOrClass)

s__instance(s__Impacting,s__SetOrClass)

s__subclass(s__Impacting,s__Touching)

Merge.kif 11006-11006 Impacting is a subclass of touching
s__subclass(s__Kissing,s__Touching)

s__instance(s__Touching,s__SetOrClass)

s__instance(s__Kissing,s__SetOrClass)

Mid-level-ontology.kif 10467-10467 Kissing is a subclass of touching
s__instance(s__Touching,s__SetOrClass)

s__instance(s__Licking,s__SetOrClass)

s__subclass(s__Licking,s__Touching)

Mid-level-ontology.kif 10492-10492 Licking is a subclass of touching
s__subclass(s__Massaging,s__Touching)

s__instance(s__Touching,s__SetOrClass)

s__instance(s__Massaging,s__SetOrClass)

Mid-level-ontology.kif 5360-5360 Massaging is a subclass of touching
s__instance(s__Touching,s__SetOrClass)

s__instance(s__TouchSurfaceAction,s__SetOrClass)

s__subclass(s__TouchSurfaceAction,s__Touching)

ComputerInput.kif 1561-1561 TouchSurfaceAction is a subclass of touching
s__termFormat(s__ChineseLanguage,s__Touching,'"接触"')

chinese_format.kif 1127-1127
s__termFormat(s__EnglishLanguage,s__Touching,'"touching"')

english_format.kif 1476-1476

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10958-10965

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


( ! [V__A,V__R] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__R,s__BaseballRun) &
             s__agent(V__R,V__A))
         =>
         (( ? [V__T, V__H] :
             ((s__instance(V__T,s__Touching) &
                 s__subProcess(V__T,V__R)
               &
               s__agent(V__T,V__A)
             &
             s__patient(V__T,V__H)
           &
           s__instance(V__H,s__HomeBase))))))))
)
)

Sports.kif 555-565
( ! [V__HR] :
   ((s__instance(V__HR,s__BaseballRun) =>
       (( ? [V__T1, V__T2, V__T3, V__T4, V__B1, V__B2, V__B3, V__B4] :
           ((s__instance(V__T1,s__Touching) &
               s__instance(V__T2,s__Touching) &
               s__instance(V__T3,s__Touching) &
               s__instance(V__T4,s__Touching) &
               s__instance(V__B1,s__BaseballBase) &
               s__instance(V__B2,s__BaseballBase) &
               s__instance(V__B3,s__BaseballBase) &
               s__instance(V__B4,s__BaseballBase) &
               ~((V__B1 = V__B2))
               &
               ~((V__B1 = V__B3))
               &
               ~((V__B1 = V__B4))
               &
               ~((V__B2 = V__B3))
               &
               ~((V__B2 = V__B4))
               &
               ~((V__B3 = V__B4))
               &
               s__subProcess(V__T1,V__HR)
             &
             s__subProcess(V__T2,V__HR)
           &
           s__subProcess(V__T3,V__HR)
         &
         s__subProcess(V__T4,V__HR))))))
)
)

Sports.kif 642-663
( ! [V__TACTILE] :
   ((s__instance(V__TACTILE,s__TactilePerception) =>
       (( ? [V__TOUCH] :
           ((s__instance(V__TOUCH,s__Touching) &
               s__subProcess(V__TOUCH,V__TACTILE))))))
   )
)

Merge.kif 12982-12987


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