Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass Touching Transfer) | Merge.kif 11756-11756 | Touching is a subclass of transfer |
| (documentation Touching EnglishLanguage "Any Transfer where two Objects are brought into immediate physical contact with one another.") | Merge.kif 11758-11759 | Touching is a subclass of transfer |
| (externalImage Touching "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Laughter_by_David_Shankbone.jpg") | pictureList.kif 6924-6924 | Touching is a subclass of transfer |
| appearance as argument number 2 |
|
|
| 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 11761-11768 | If X is an instance of touching, Y is an agent of X, and Z is a patient of X, then Y is not connected to Z holds during the beginning of the time of existence of X and Y is connected to Z holds during the end of the time of existence of X |
| consequent |
|
|
| (=> (instance ?TACTILE TactilePerception) (exists (?TOUCH) (and (instance ?TOUCH Touching) (subProcess ?TOUCH ?TACTILE)))) |
Merge.kif 13948-13953 | If X is an instance of tactile perception, then there exists Y such that Y is an instance of touching and Y is a subprocess of X |
| (=> (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 650-660 | If X is an instance of baseball run and Y is an agent of X, then there exist Z, W such that Z is an instance of touching, Z is a subprocess of X, Y is an agent of Z, W is a patient of Z, and W is an instance of home base |
| (=> (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 737-758 | If X is an instance of baseball run, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T,, , S (2) R such that Y is an instance of touching (3) Z is an instance of touching (4) W is an instance of touching (5) V is an instance of touching (6) U is an instance of baseball base (7) T is an instance of baseball base (8) S is an instance of baseball base (9) R is an instance of baseball base (10) equal U (11) T (12) equal U (13) S (14) equal U (15) R (16) equal T (17) S (18) equal T (19) R (20) equal S (21) R (22) Y is a subprocess of X (23) Z is a subprocess of X (24) W is a subprocess of X (25) V is a subprocess of X |
| (=> (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 4743-4767 | If toxic and infectious substance is an attribute of X and X is an instance of substance or X is an instance of microorganism, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of human or Y is an instance of animal (3) X is near to Y (4) Z is an instance of inhaling or Z is an instance of ingesting or Z is an instance of touching (5) Y is an agent of Z (6) X is a patient of Z (7) Z causes W (8) Y is a patient of W (9) W is an instance of V (10) X is capable of doing V as a resource (11) V is a subclass of injuring or V is a subclass of death |
|