Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Impelling
Impelling

appearance as argument number 1
-------------------------


(documentation Impelling ChineseLanguage "这是 Transfersubclass,当中 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 11492-11494
(documentation Impelling JapaneseLanguage "patient が突然、衝撃な出来事によって宇宙を通過す る Transfersubclass。例えば、射撃、物を投げたり、トスする、など。") japanese_format.kif 1812-1813
(subclass Impelling Transfer) Merge.kif 11490-11490 Impelling ist eine teilkategorie von Transfer

appearance as argument number 2
-------------------------


(subclass AvalancheProcess Impelling) Geography.kif 2292-2292 AvalancheProcess ist eine teilkategorie von Impelling
(subclass Drooling Impelling) Mid-level-ontology.kif 6562-6562 Drooling ist eine teilkategorie von Impelling
(subclass GameShot Impelling) Mid-level-ontology.kif 17018-17018 GameShot ist eine teilkategorie von Impelling
(subclass HeartBeat Impelling) Mid-level-ontology.kif 10712-10712 HeartBeat ist eine teilkategorie von Impelling
(subclass Kicking Impelling) Mid-level-ontology.kif 6632-6632 Kicking ist eine teilkategorie von Impelling
(subclass Landslide Impelling) Geography.kif 2298-2298 Landslide ist eine teilkategorie von Impelling
(subclass Punching Impelling) Mid-level-ontology.kif 6616-6616 Punching ist eine teilkategorie von Impelling
(subclass Shooting Impelling) Merge.kif 11496-11496 Shooting ist eine teilkategorie von Impelling
(subclass Spitting Impelling) Mid-level-ontology.kif 6548-6548 Spitting ist eine teilkategorie von Impelling
(subclass Throwing Impelling) Mid-level-ontology.kif 17077-17077 Throwing ist eine teilkategorie von 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 11561-11569
(=>
    (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 4212-4220


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