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 14742-14743
(subclass Decelerating Decreasing) Mid-level-ontology.kif 14741-14741 Decelerating is a subclass of decreasing
(subclass Decelerating Translocation) Mid-level-ontology.kif 14740-14740 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 14744-14758
(=>
    (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 14760-14770
(=>
    (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