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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MotionDownward
MotionDownward(motion downward)droop, drop, drop_down, duck, fall, flag, flow, hang, motion_downward, pounce, sag, sink, stoop, subside, swag, swoop

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


(documentation MotionDownward ChineseLanguage "这是当一个 Object 移向地面的 Motion。") Merge.kif 11029-11029
(documentation MotionDownward EnglishLanguage "Motion where an Object is moving toward the ground.") Merge.kif 11027-11028
(subclass MotionDownward Motion) Merge.kif 11026-11026 Motion downward is a subclass of motion

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


(disjoint MotionUpward MotionDownward) Merge.kif 11021-11021 Motion upward is disjoint from motion downward
(subclass Bowing MotionDownward) Mid-level-ontology.kif 10705-10705 Bowing is a subclass of motion downward
(subclass Ducking MotionDownward) Mid-level-ontology.kif 10722-10722 Ducking is a subclass of motion downward
(subclass Falling MotionDownward) Merge.kif 11528-11528 Falling is a subclass of motion downward
(subclass Inclining MotionDownward) Mid-level-ontology.kif 10698-10698 Inclining is a subclass of motion downward
(subclass LyingDown MotionDownward) Mid-level-ontology.kif 17618-17618 Lying down is a subclass of motion downward
(subclass SittingDown MotionDownward) Mid-level-ontology.kif 17663-17663 Sitting down is a subclass of motion downward
(termFormat EnglishLanguage MotionDownward "motion downward") domainEnglishFormat.kif 6873-6873 "motion downward" is the printable form of motion downward in english language

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))
Mid-level-ontology.kif 13126-13130
(=>
    (instance ?H HoistingDevice)
    (capability MotionDownward instrument ?H))
Mid-level-ontology.kif 2950-2952
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))
Mid-level-ontology.kif 12805-12809
(=>
    (instance ?R Ramp)
    (capability MotionDownward path ?R))
Mid-level-ontology.kif 2831-2833
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))
Mid-level-ontology.kif 12759-12763
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))
Mid-level-ontology.kif 12783-12787


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