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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotionDownward

 Sigma KEE - MotionDownward
MotionDownward

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


(documentation MotionDownward ChineseLanguage "这是当一个 Object 移向地面的 Motion。") chinese_format.kif 2999-2999
(documentation MotionDownward EnglishLanguage "Motion where an Object is moving toward the ground.") Merge.kif 10937-10938
(subclass MotionDownward Motion) Merge.kif 10935-10935

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


(disjoint MotionUpward MotionDownward) Merge.kif 10930-10930
(subclass Bowing MotionDownward) Mid-level-ontology.kif 12564-12564
(subclass Ducking MotionDownward) Mid-level-ontology.kif 12581-12581
(subclass Falling MotionDownward) Merge.kif 11414-11414
(subclass Inclining MotionDownward) Mid-level-ontology.kif 12557-12557
(subclass LyingDown MotionDownward) Mid-level-ontology.kif 19184-19184
(subclass SittingDown MotionDownward) Mid-level-ontology.kif 19229-19229
(termFormat ChineseLanguage MotionDownward "向下运动") domainEnglishFormat.kif 38706-38706
(termFormat ChineseTraditionalLanguage MotionDownward "向下運動") domainEnglishFormat.kif 38705-38705
(termFormat EnglishLanguage MotionDownward "motion downward") domainEnglishFormat.kif 38704-38704

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))		 Mid-level-ontology.kif 14886-14890
(=>
    (instance ?H HoistingDevice)
    (capability MotionDownward instrument ?H))		 Mid-level-ontology.kif 2444-2446
(=>
    (instance ?HABOOB Haboob)
    (exists (?TS ?DM ?A)
        (and
            (instance ?TS Thunderstorm)
            (instance ?DM MotionDownward)
            (instance ?A Air)
            (patient ?DM ?A)
            (subProcess ?DM ?TS)
            (causes ?DM ?HABOOB))))		 Weather.kif 1317-1326
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))		 Mid-level-ontology.kif 14557-14561
(=>
    (instance ?R Ramp)
    (capability MotionDownward path ?R))		 Mid-level-ontology.kif 2325-2327
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))		 Mid-level-ontology.kif 14511-14515
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))		 Mid-level-ontology.kif 14535-14539


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