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

VerbNet: bump-18.4|slam, bump-18.4|bash, spank-18.3|clobber, pelt-17.2|buffet, swat-18.2|peck, crane-40.3.2|beat, hit-18.1|beat, spank-18.3|belt, spank-18.3|pummel, spank-18.3|birch, carve-21.2|smash, spank-18.3|club, bump-18.4|bash, carve-21.2|smash, banish-10.2|boot, bump-18.4|bash, spank-18.3|crunch, pelt-17.2|buffet, bump-18.4|knock, bump-18.4|butt, bump-18.4|butt, spank-18.3|flog, bump-18.4|collide, spank-18.3|clobber, spank-18.3|clout, spank-18.3|club, bump-18.4|collide, bump-18.4|strike, spank-18.3|crunch, spank-18.3|conk, spank-18.3|cosh, bump-18.4|crack, break-45.1|crash, spank-18.3|crunch, break-45.1|crush, remedy-45.7|extinguish, spank-18.3|cudgel, spank-18.3|cuff, touch-20|pat, remedy-45.7|extinguish, spank-18.3|flagellate, spank-18.3|thrash, spank-18.3|flog, spank-18.3|cudgel, spank-18.3|crunch, bump-18.4|hammer, hit-18.1|hit, spank-18.3|horsewhip, bump-18.4|strike, hit-18.1|jab, ...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3056-3057
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10735-10737
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10733-10733	Impacting is a subclass of touching

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10751-10751	Clapping is a subclass of impacting
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1588-1588	TouchSurfaceTap is a subclass of impacting
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1128-1128
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1478-1478

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 1248-1256	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10739-10747	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 609-622	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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23822-23835	If a physical is an instance of knock light and deaf is an attribute of an agent and the physical is located at an object and the agent is located at the object and another object is an instance of door and the other object is a part of the object, then the physical purpose the agent knows there exists an entity such that the entity is an instance of impacting and the other object is a patient of the entity for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23802-23819	If a physical is an instance of knock light and an object is an instance of room and the physical is located at the object and another object is an instance of door and the other object is a part of the object, then the physical purpose there exist an entity, another entity and a third entity such that the third entity is an instance of impacting and the other object is a patient of the third entity and the third entity causes the entity and the entity is an instance of radiating sound and the other object is an agent of the entity and the entity causes the other entity and the other entity is an instance of radiating light and the physical is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10784-10791	If a process is an instance of ducking and an agent is an agent of the process, then the process 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
No TPTP formula. May not be expressible in strict first order.	Music.kif 1357-1367	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3606-3630	If a physical is an instance of airbag, then the physical 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 は the other entity を contains %n{ない} 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3649-3678	If a physical is an instance of seat belt, then the physical 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 は the entity を contains %n{ない} 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners