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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotionUpward

Sigma KEE - MotionUpward
MotionUpwardصُعُود, إِنْبعث, صعِد, نهض, تعالى, تصاعد, أشرق, أعلن العصيان, ألغى, إرتفع إلى مستوى المسؤولية, اجتاز, ارتفع, اشتهر, اقتلع, انتقل, انقشع, بدئ, بزغ, بعث, تجاوز, تنفض الجلسة أو الاجتماع, ثور, حدث, حلق, خلى, رفع, رفع الأسعار, رفع الروح المعنوية, رفع المعنويات, سبب, سرق, صعد, طار, طلع, ظهر, على, قام, كشف, نبع, نتج عن, نشأ, نقل من, وقف, إِرْتقى, علا, علِي, صعد, تسلّق, ارتفع, اعتلى, بخصوص, حكم, طلع, أنْهض, حمل, نهض, رفع, أثار قضية, ألغى, أنهض, أيقظ, ارتفع, اقتلع, انتقل, انقشع, برز, جمع, جمع تبرعات, خلى, خمر, رب, ربى, ربى الماشية, رفع الستارة, رفع الكأس لإحد, رفع المعنويات, رفع لأعلى, رفع معنوياته, رقى, زاد المبلغ المراهن عليه, زور شيكا, سرق, سعل مخرجا البلغم, شال, شيد, ضحك, على, كشف, نشط, نقل من, هذب, اِلْتقط, جمع, إستعاد صحته, استأنف, اعتقل, اقتنى, التقط, تعرف لأصدقاء, تعلم, تعيش, حفر, حمل الركاب, رفع, علا, نشط, إِرْتفع, طلع, ظهر, تصاعد, جعل له سطحا, سطح, طلع الى السطح,

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


(disjoint MotionUpward MotionDownward) Merge.kif 10963-10963
(documentation MotionUpward ChineseLanguage "这是当一个 Object 移离地面的 Motion。") Merge.kif 10966-10966
(documentation MotionUpward EnglishLanguage "Motion where an Object is moving away from the ground.") Merge.kif 10964-10965
(subclass MotionUpward Motion) Merge.kif 10962-10962

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


(subclass Jumping MotionUpward) Mid-level-ontology.kif 722-722
(subclass StandingUp MotionUpward) Mid-level-ontology.kif 17622-17622
(termFormat EnglishLanguage MotionUpward "motion upward") domainEnglishFormat.kif 6882-6882

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))
Mid-level-ontology.kif 13126-13130
(=>
    (instance ?H HoistingDevice)
    (capability MotionUpward instrument ?H))
Mid-level-ontology.kif 2946-2948
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))
Mid-level-ontology.kif 12805-12809
(=>
    (instance ?R Ramp)
    (capability MotionUpward path ?R))
Mid-level-ontology.kif 2827-2829
(=>
    (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
(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?LOW ?AREA ?AIR ?RISE)
            (and
                (instance ?LOW LowPressureWeatherSystem)
                (instance ?AREA Region)
                (eventLocated ?LOW ?AREA)
                (instance ?AIR Air)
                (instance ?RISE MotionUpward)
                (patient ?RISE ?AIR)
                (eventLocated ?RISE ?AREA)
                (subProcess ?RISE ?LOW)))))
Weather.kif 1346-1359


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