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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Decelerating
Decelerating(decelerating)decelerate, retard, slack, slacken, slow, slow_down, slow_up

VerbNet: other_cos-45.4|slow, other_cos-45.4|slow, other_cos-45.4|slow, other_cos-45.4|slow, other_cos-45.4|slow, other_cos-45.4|slow, other_cos-45.4|slow,


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


(documentation Decelerating EnglishLanguage "Decreasing the speed with which someone or something is moving.") Mid-level-ontology.kif 14794-14795
(subclass Decelerating Decreasing) Mid-level-ontology.kif 14793-14793 Decelerating is a subclass of decreasing
(subclass Decelerating Translocation) Mid-level-ontology.kif 14792-14792 Decelerating is a subclass of translocation

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


(termFormat ChineseLanguage Decelerating "减速") domainEnglishFormat.kif 18733-18733
(termFormat ChineseTraditionalLanguage Decelerating "減速") domainEnglishFormat.kif 18732-18732
(termFormat EnglishLanguage Decelerating "decelerating") domainEnglishFormat.kif 18731-18731

antecedent
-------------------------


(=>
    (and
        (instance ?D Decelerating)
        (agent ?D ?A))
    (exists (?L1 ?L2 ?T1 ?T2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?D))
                (measure ?A
                    (SpeedFn ?L1 ?T1)))
            (holdsDuring
                (EndFn
                    (WhenFn ?D))
                (measure ?A
                    (SpeedFn ?L2 ?T2)))
            (or
                (greaterThan ?L1 ?L2)
                (greaterThan ?T1 ?T2)))))
Mid-level-ontology.kif 14796-14810
(=>
    (and
        (instance ?T Transportation)
        (instance ?W Wheel)
        (instance ?A Automobile)
        (part ?W ?A)
        (instrument ?T ?A)
        (instance ?AB AntilockBrake)
        (instance ?D Decelerating)
        (instrument ?D ?AB)
        (part ?AB ?W))
    (hasPurpose ?AB
        (exists (?R)
            (and
                (instance ?R Rotating)
                (during ?R ?D)))))
Cars.kif 1293-1308

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


(=>
    (and
        (instance ?A Accelerating)
        (equal ?T
            (WhenFn ?A))
        (experiencer ?A ?E))
    (not
        (exists (?D)
            (and
                (instance ?D Decelerating)
                (experiencer ?D ?E)
                (equal ?T
                    (WhenFn ?D))))))
Mid-level-ontology.kif 14812-14822
(=>
    (instance ?B Brake)
    (hasPurpose ?B
        (exists (?D)
            (and
                (instance ?D Decelerating)
                (instrument ?D ?B)))))
Cars.kif 544-550
(=>
    (instance ?X SeatBelt)
    (hasPurpose ?X
        (exists (?PERSON ?STOP ?VEHICLE)
            (and
                (instance ?VEHICLE Vehicle)
                (part ?X ?VEHICLE)
                (instance ?PERSON Human)
                (contains ?VEHICLE ?PERSON)
                (instance ?STOP Process)
                (prevents ?STOP
                    (KappaFn ?M
                        (and
                            (instance ?M Translocation)
                            (patient ?M ?PERSON)
                            (exists (?COLLISION)
                                (and
                                    (or
                                        (instance ?COLLISION Decelerating)
                                        (instance ?COLLISION Impacting))
                                    (experiencer ?COLLISION ?VEHICLE)
                                    (causes ?COLLISION ?M)))
                            (modalAttribute
                                (exists (?INJ ?IMP)
                                    (and
                                        (instance ?INJ Injuring)
                                        (instance ?IMP Impacting)
                                        (causes ?M ?INJ)
                                        (patient ?INJ ?PERSON)
                                        (subProcess ?IMP ?INJ))) Possibility))))))))
Cars.kif 3649-3678


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