TreeView Knowledge Base Browser - Impacting

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Impacting

Impacting

appearance as argument number 1

(documentation Impacting ChineseLanguage "这是任何 Touching 的过程，她发生在当某样东西突然而有力地和另外一样东西发生物理上的接触。一些例子如击、敲和搅等。")	chinese_format.kif 3056-3057
(documentation Impacting EnglishLanguage "Any Touching where something comes into sudden, forceful, physical contact with something else. Some examples would be striking, knocking, whipping etc.")	Merge.kif 11381-11383
(subclass Impacting Touching)	Merge.kif 11379-11379	subclass Impacting and Touching

appearance as argument number 2

(subclass Clapping Impacting)	Mid-level-ontology.kif 12611-12611	subclass Clapping and Impacting
(subclass TouchSurfaceTap Impacting)	ComputerInput.kif 1556-1556	subclass TouchSurfaceTap and Impacting
(termFormat ChineseLanguage Impacting "碰撞")	chinese_format.kif 1128-1128
(termFormat EnglishLanguage Impacting "impacting")	english_format.kif 1473-1473

antecedent

(=> (and (instance ?B Bell) (instance ?I Impacting) (destination ?I ?B)) (exists (?MT) (and (instance ?MT MusicalTone) (causes ?I ?MT))))	Music.kif 1254-1262	instance Entity and Bell instance Process and Impacting destination Process and Entity Process instance Process and MusicalTone causes Process and Process
(=> (and (instance ?IMPACT Impacting) (patient ?IMPACT ?OBJ)) (exists (?IMPEL) (and (instance ?IMPEL Impelling) (patient ?IMPEL ?OBJ) (earlier (WhenFn ?IMPEL) (WhenFn ?IMPACT)))))	Merge.kif 11385-11393	instance Process and Impacting patient Process and Entity Process instance Process and Impelling patient Process and Entity earlier WhenFn Process and WhenFn Process

consequent

(=> (and (instance ?D Dodging) (agent ?D ?A) (equal ?DT (WhenFn ?D))) (hasPurpose ?D (not (exists (?I) (and (or (meetsTemporally ?DT (WhenFn ?I)) (overlapsTemporally ?DT (WhenFn ?I))) (instance ?I Impacting) (patient ?I ?A))))))	Mid-level-ontology.kif 445-458	instance Process and Dodging agent Process and Agent equal ProcessT and WhenFn Process hasPurpose Process and entity meetsTemporally ProcessT and WhenFn entity overlapsTemporally ProcessT and WhenFn entity instance entity and Impacting patient entity and Agent
(=> (and (instance ?KL KnockLight) (instance ?A Human) (attribute ?A Deaf) (uses ?KL ?A)) (hasPurpose ?KL (exists (?KNOCK ?DOOR) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (instance ?DOOR Door) (knows ?A ?KNOCK)))))	Mid-level-ontology.kif 25324-25336	instance Object and KnockLight instance Agent and Human attribute Agent and Deaf uses Object and Agent hasPurpose Object and entity entity instance entity and Impacting patient entity and entity instance entity and Door knows Agent and entity
(=> (and (instance ?KL KnockLight) (located ?KL ?ROOM) (instance ?ROOM Room) (instance ?DOOR Door) (part ?DOOR ?ROOM)) (hasPurpose ?KL (exists (?KNOCK ?SOUND ?LIGHT) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (causes ?KNOCK ?SOUND) (instance ?SOUND RadiatingSound) (agent ?SOUND ?DOOR) (causes ?SOUND ?LIGHT) (instance ?LIGHT RadiatingVisibleLight) (instrument ?LIGHT ?KL)))))	Mid-level-ontology.kif 25305-25322	instance Physical and KnockLight located Physical and Object instance Object and Room instance Object and Door part Object and Object hasPurpose Physical and entity entity and entity instance entity and Impacting patient entity and Object causes entity and entity instance entity and RadiatingSound agent entity and Object causes entity and entity instance entity and RadiatingVisibleLight instrument entity and Physical
(=> (and (instance ?MOTION Ducking) (agent ?MOTION ?AGENT)) (hasPurpose ?MOTION (not (exists (?IMPACT) (and (instance ?IMPACT Impacting) (patient ?IMPACT ?AGENT))))))	Mid-level-ontology.kif 12644-12651	instance Process and Ducking agent Process and Agent hasPurpose Process and entity instance entity and Impacting patient entity and Agent
(=> (instance ?D Drumming) (exists (?A ?DRUM ?I) (and (agent ?D ?A) (instrument ?D ?DRUM) (subProcess ?I ?D) (agent ?I ?A) (patient ?I ?DRUM) (instance ?I Impacting) (instance ?DRUM Drum))))	Music.kif 1363-1373	instance Process and Drumming Agent ProcessRUM and Process agent Process and Agent instrument Process and ProcessRUM subProcess Process and Process agent Process and Agent patient Process and ProcessRUM instance Process and Impacting instance ProcessRUM and Drum
(=> (instance ?X AutoAirbag) (hasPurpose ?X (exists (?CAR ?PERSON ?IMP ?INF) (and (instance ?CAR Automobile) (part ?X ?CAR) (instance ?PERSON Human) (contains ?CAR ?PERSON) (instance ?IMP Impacting) (patient ?IMP ?CAR) (instance ?INF Inflating) (patient ?INF ?X) (causes ?IMP ?INF) (hinders ?INF (KappaFn ?INJ (and (instance ?INJ Injuring) (experiencer ?INJ ?PERSON) (exists (?HIT) (and (instance ?HIT Impacting) (destination ?HIT ?CAR) (experiencer ?HIT ?PERSON) (causes ?HIT ?INJ))))))))))	Cars.kif 3636-3660	instance Physical and AutoAirbag hasPurpose Physical and entity entity, entity and entity instance entity and Automobile part Physical and entity instance entity and Human entity は entity を contains %n{ない} instance entity and Impacting patient entity and entity instance entity and Inflating patient entity and Physical causes entity and entity hinders entity and KappaFn entity and instance entity and Injuring experiencer entity and entity entity instance entity and Impacting destination entity and entity experiencer entity and entity causes entity and entity
(=> (instance ?X SeatBelt) (hasPurpose ?X (exists (?PERSON ?STOP ?VEHICLE) (and (instance ?VEHICLE Vehicle) (part ?X ?VEHICLE) (instance ?PERSON Human) (contains ?VEHICLE ?PERSON) (instance ?STOP Process) (prevents ?STOP (KappaFn ?M (and (instance ?M Translocation) (patient ?M ?PERSON) (exists (?COLLISION) (and (or (instance ?COLLISION Decelerating) (instance ?COLLISION Impacting)) (experiencer ?COLLISION ?VEHICLE) (causes ?COLLISION ?M))) (modalAttribute (exists (?INJ ?IMP) (and (instance ?INJ Injuring) (instance ?IMP Impacting) (causes ?M ?INJ) (patient ?INJ ?PERSON) (subProcess ?IMP ?INJ))) Possibility))))))))	Cars.kif 3679-3708	instance Physical and SeatBelt hasPurpose Physical and entity entity and entity instance entity and Vehicle part Physical and entity instance entity and Human entity は entity を contains %n{ない} instance entity and Process prevents entity and KappaFn entity and instance entity and Translocation patient entity and entity entity instance entity and Decelerating instance entity and Impacting experiencer entity and entity causes entity and entity modalAttribute entity entity instance entity and Injuring instance entity and Impacting causes entity and entity patient entity and entity subProcess entity and entity and Possibility

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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