TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Impelling ChineseLanguage "这是 Transfer 的 subclass，当中 patient 通过一次突然有力的过程穿过空间，例如：射击、投掷和扔等。")	chinese_format.kif 3044-3045
(documentation Impelling EnglishLanguage "The subclass of Transfer where the patient travels through space by means of a sudden, forceful event. Some examples would be shooting, throwing, tossing, etc.")	Merge.kif 11516-11518
(documentation Impelling JapaneseLanguage "patient が突然、衝撃な出来事によって宇宙を通過する Transfer の subclass。例えば、射撃、物を投げたり、トスする、など。")	japanese_format.kif 1812-1813
(subclass Impelling Transfer)	Merge.kif 11514-11514	Impelling is a subclass of transfer

appearance as argument number 2

(subclass AvalancheProcess Impelling)	Geography.kif 2292-2292	Avalanche process is a subclass of impelling
(subclass Drooling Impelling)	Mid-level-ontology.kif 6557-6557	Drooling is a subclass of impelling
(subclass GameShot Impelling)	Mid-level-ontology.kif 17046-17046	Game shot is a subclass of impelling
(subclass HeartBeat Impelling)	Mid-level-ontology.kif 10740-10740	Heart beat is a subclass of impelling
(subclass Kicking Impelling)	Mid-level-ontology.kif 6627-6627	Kicking is a subclass of impelling
(subclass Landslide Impelling)	Geography.kif 2298-2298	Landslide is a subclass of impelling
(subclass Punching Impelling)	Mid-level-ontology.kif 6611-6611	Punching is a subclass of impelling
(subclass Shooting Impelling)	Merge.kif 11520-11520	Shooting is a subclass of impelling
(subclass Spitting Impelling)	Mid-level-ontology.kif 6543-6543	Spitting is a subclass of impelling
(subclass Throwing Impelling)	Mid-level-ontology.kif 17105-17105	Throwing is a subclass of impelling
(termFormat ChineseLanguage Impelling "驱动")	chinese_format.kif 1125-1125
(termFormat EnglishLanguage Impelling "impelling")	english_format.kif 1467-1467
(termFormat FrenchLanguage Impelling "propulser")	french_format.kif 803-803
(termFormat Hindi Impelling "prerakataa")	terms-hindi.txt 335-335
(termFormat ItalianLanguage Impelling "Spinta")	terms-it.txt 338-338
(termFormat JapaneseLanguage Impelling "強いること")	japanese_format.kif 2487-2487
(termFormat PortugueseLanguage Impelling "Propulsionar")	portuguese_format.kif 755-755
(termFormat cb Impelling "pagpugus")	terms-cb.txt 340-340
(termFormat cz Impelling "impelling")	terms-cz.txt 374-374
(termFormat ro Impelling "impulsionare")	relations-ro.kif 824-824
(termFormat tg Impelling "tinataboy")	terms-tg.txt 339-339

consequent

(=> (and (instance ?IMPACT Impacting) (patient ?IMPACT ?OBJ)) (exists (?IMPEL) (and (instance ?IMPEL Impelling) (patient ?IMPEL ?OBJ) (earlier (WhenFn ?IMPEL) (WhenFn ?IMPACT)))))	Merge.kif 11585-11593	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
(=> (instance ?H Hammer) (hasPurpose ?H (exists (?I ?N) (and (instance ?I Impelling) (instrument ?I ?H) (patient ?I ?N) (instance ?N Nail)))))	Mid-level-ontology.kif 4205-4213	If a physical is an instance of hammer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of impelling and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of nail

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

KB Term:			Term intersection

English Word: