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 "这是 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 11316-11318
(subclass Impelling Transfer) Merge.kif 11314-11314 subclass Impelling and Transfer

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


(subclass AvalancheProcess Impelling) Geography.kif 2295-2295 subclass AvalancheProcess and Impelling
(subclass Drooling Impelling) Mid-level-ontology.kif 6270-6270 subclass Drooling and Impelling
(subclass GameShot Impelling) Mid-level-ontology.kif 16513-16513 subclass GameShot and Impelling
(subclass HeartBeat Impelling) Mid-level-ontology.kif 10271-10271 subclass HeartBeat and Impelling
(subclass Kicking Impelling) Mid-level-ontology.kif 6331-6331 subclass Kicking and Impelling
(subclass Landslide Impelling) Geography.kif 2301-2301 subclass Landslide and Impelling
(subclass Punching Impelling) Mid-level-ontology.kif 6316-6316 subclass Punching and Impelling
(subclass Shooting Impelling) Merge.kif 11320-11320 subclass Shooting and Impelling
(subclass Spitting Impelling) Mid-level-ontology.kif 6256-6256 subclass Spitting and Impelling
(subclass Throwing Impelling) Mid-level-ontology.kif 16572-16572 subclass Throwing and Impelling
(termFormat ChineseLanguage Impelling "驱动") chinese_format.kif 1125-1125
(termFormat EnglishLanguage Impelling "impelling") english_format.kif 1467-1467

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


(=>
    (and
        (instance ?IMPACT Impacting)
        (patient ?IMPACT ?OBJ))
    (exists (?IMPEL)
        (and
            (instance ?IMPEL Impelling)
            (patient ?IMPEL ?OBJ)
            (earlier
                (WhenFn ?IMPEL)
                (WhenFn ?IMPACT)))))		 Merge.kif 11385-11393
(=>
    (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 4119-4127


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