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 通过一次突然有力的过程穿过空间, 例如:射击、投掷和扔等。") Merge.kif 11351-11352
(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 11348-11350
(subclass Impelling Transfer) Merge.kif 11347-11347

appearance as argument number 2

(subclass AvalancheProcess Impelling) Geography.kif 2225-2225
(subclass GameShot Impelling) Mid-level-ontology.kif 14572-14572
(subclass Kicking Impelling) Mid-level-ontology.kif 6267-6267
(subclass Landslide Impelling) Geography.kif 2231-2231
(subclass Punching Impelling) Mid-level-ontology.kif 6252-6252
(subclass Shooting Impelling) Merge.kif 11354-11354
(subclass Spitting Impelling) Mid-level-ontology.kif 6238-6238
(subclass Throwing Impelling) Mid-level-ontology.kif 14631-14631
(termFormat ChineseLanguage Impelling "驱动") chinese_format.kif 1125-1125
(termFormat EnglishLanguage Impelling "impelling") english_format.kif 812-812
(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 336-336
(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 tg Impelling "tinataboy") terms-tg.txt 339-339


        (instance ?IMPACT Impacting)
        (patient ?IMPACT ?OBJ))
    (exists (?IMPEL)
            (instance ?IMPEL Impelling)
            (patient ?IMPEL ?OBJ)
                (WhenFn ?IMPEL)
                (WhenFn ?IMPACT)))))
Merge.kif 11425-11433
    (instance ?H Hammer)
    (hasPurpose ?H
        (exists (?I ?N)
                (instance ?I Impelling)
                (instrument ?I ?H)
                (patient ?I ?N)
                (instance ?N Nail)))))
Mid-level-ontology.kif 4686-4694
    (instance ?SB SnowBlower)
        (exists (?IMP ?SNOW)
                (instance ?IMP Impelling)
                (instrument ?IMP ?SB)
                (instance ?SNOW Snowing)
                (patient ?IMP ?SNOW)))))
Society.kif 892-900

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners