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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Impelling

Sigma KEE - Impelling
Impellingدفْع, دسْر, تحْرِيْك, تسْيِير, دفْع, قُوّة دافِعة, دفْع, ...

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


(documentation Impelling ChineseLanguage "这是 Transfersubclass,当中 patient 通过一次突然有力的过程穿过空间, 例如:射击、投掷和扔等。") Merge.kif 11271-11272
(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 11268-11270
(subclass Impelling Transfer) Merge.kif 11267-11267

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


(subclass AvalancheProcess Impelling) Geography.kif 2225-2225
(subclass GameShot Impelling) Mid-level-ontology.kif 14312-14312
(subclass Kicking Impelling) Mid-level-ontology.kif 6263-6263
(subclass Landslide Impelling) Geography.kif 2231-2231
(subclass Punching Impelling) Mid-level-ontology.kif 6248-6248
(subclass Shooting Impelling) Merge.kif 11274-11274
(subclass Spitting Impelling) Mid-level-ontology.kif 6234-6234
(subclass Throwing Impelling) Mid-level-ontology.kif 14371-14371
(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

consequent
-------------------------


(=>
    (and
        (instance ?IMPACT Impacting)
        (patient ?IMPACT ?OBJ))
    (exists (?IMPEL)
        (and
            (instance ?IMPEL Impelling)
            (patient ?IMPEL ?OBJ)
            (earlier
                (WhenFn ?IMPEL)
                (WhenFn ?IMPACT)))))
Merge.kif 11345-11353
(=>
    (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 4682-4690
(=>
    (instance ?SB SnowBlower)
    (hasPurpose
        (?SB)
        (exists (?IMP ?SNOW)
            (and
                (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