Impacting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Impacting

Impacting(impacting)

KO, KO_punch, Sunday_punch, backhand, backhand_drive, backhand_shot, backhand_stroke, backhander, bang, bash, baste, bastinado, bat, batter, beak, bean, beat, beat_up, beetle, belabor, belabour, belt, biff, birch, blast, blow, bludgeon, bonk, boom, boot, bop, bottom, bottom_out, box, brain, bray, broadside, bruise, buffet, buffeting, bulldoze, bump, bump_into, bunt, butt, butt_against, calk, cane, cat, catch...

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 11052-11054
(subclass Impacting Touching)	Merge.kif 11050-11050	Impacting is a subclass of touching

appearance as argument number 2

(subclass Clapping Impacting)	Mid-level-ontology.kif 12423-12423	Clapping is a subclass of impacting
(subclass TouchSurfaceTap Impacting)	ComputerInput.kif 1588-1588	TouchSurfaceTap is a subclass of 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 1249-1257	If an entity is an instance of bell and a process is an instance of impacting and the process ends up at the entity, then there exists another process such that the other process is an instance of musical tone and the process causes the other process
(=> (and (instance ?IMPACT Impacting) (patient ?IMPACT ?OBJ)) (exists (?IMPEL) (and (instance ?IMPEL Impelling) (patient ?IMPEL ?OBJ) (earlier (WhenFn ?IMPEL) (WhenFn ?IMPACT)))))	Merge.kif 11056-11064	If a process is an instance of impacting and an entity is a patient of the process, then there exists another process such that the other process is an instance of impelling and the entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the 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 421-434	If a process is an instance of dodging and an agent is an agent of the process and the processT is equal to the time of existence of the process, then the process has the purpose there doesn't exist an entity such that the processT meets the time of existence of the entity or the time of existence of the entity overlaps the processT and the entity is an instance of impacting and the agent is a patient of the entity
(=> (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 25062-25074	If an object is an instance of knock light and an agent is an instance of human and deaf is an attribute of the agent and the agent uses the object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of impacting and the other entity is a patient of the entity and the other entity is an instance of door and the agent knows the 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 25043-25060	If a physical is an instance of knock light and the physical is located at an object and the object is an instance of room and another object is an instance of door and the other object is a part of the object, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of impacting and the other object is a patient of the entity and the entity causes the other entity and the other entity is an instance of radiating sound and the other object is an agent of the other entity and the other entity causes the third entity and the third entity is an instance of radiating visible light and the physical is an instrument for the third entity
(=> (and (instance ?MOTION Ducking) (agent ?MOTION ?AGENT)) (hasPurpose ?MOTION (not (exists (?IMPACT) (and (instance ?IMPACT Impacting) (patient ?IMPACT ?AGENT))))))	Mid-level-ontology.kif 12456-12463	If a process is an instance of ducking and an agent is an agent of the process, then the process has the purpose there doesn't exist an entity such that the entity is an instance of impacting and the agent is a patient of the entity
(=> (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 1358-1368	If a process is an instance of drumming, then there exist an agent, the processRUM and another process such that the agent is an agent of the process and the processRUM is an instrument for the process and the other process is a subprocess of the process and the agent is an agent of the other process and the processRUM is a patient of the other process and the other process is an instance of impacting and the processRUM is an instance of 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	If a physical is an instance of airbag, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of automobile and the physical is a part of the entity and the other entity is an instance of human and the entity contains the other entity and the third entity is an instance of impacting and the entity is a patient of the third entity and the fourth entity is an instance of inflating and the physical is a patient of the fourth entity and the third entity causes the fourth entity and the fourth entity hinders the class described by a fifth 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	If a physical is an instance of seat belt, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of vehicle and the physical is a part of the third entity and the entity is an instance of human and the third entity contains the entity and the other entity is an instance of process and the other entity prevents the occurrence of the class described by a fourth entity

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