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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Standing
Standing(standing)ramp, stand, stand_back, stand_up, standing

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


(documentation Standing ChineseLanguage "这是我们直立时候的 BodyPosition，即是整个人完全延伸， 除了靠自己双腿支之外，就没有其他的撑着了。") chinese_format.kif 4008-4009
(documentation Standing EnglishLanguage "The BodyPosition of being upright, i.e. being fully extended and supported by nothing other than one's own feet.") Merge.kif 18164-18165
(instance Standing BodyPosition) Merge.kif 18163-18163 Standing is an instance of body position

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


(subAttribute StandardAnatomicalPosition Standing) Anatomy.kif 1781-1781 Standard anatomical position is a subattribute of standing
(termFormat ChineseLanguage Standing "站立") domainEnglishFormat.kif 55047-55047 Standard anatomical position is a subattribute of standing
(termFormat ChineseTraditionalLanguage Standing "站立") domainEnglishFormat.kif 55046-55046 Standard anatomical position is a subattribute of standing
(termFormat EnglishLanguage Standing "standing") domainEnglishFormat.kif 55045-55045 Standard anatomical position is a subattribute of standing

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


(=>
    (and
        (instance ?E Eyebrow)
        (holdsDuring ?T
            (and
                (attribute ?H Healthy)
                (attribute ?H Standing)))
        (part ?E ?H))
    (exists (?EYE)
        (and
            (instance ?EYE Eye)
            (part ?EYE ?H)
            (orientation ?E ?EYE Above))))		 Anatomy.kif 1468-1480
(=>
    (and
        (instance ?F Forehead)
        (holdsDuring ?T
            (and
                (attribute ?H Healthy)
                (attribute ?H Standing)))
        (part ?E ?H))
    (exists (?EYE)
        (and
            (instance ?EYE Eye)
            (part ?EYE ?H)
            (orientation ?F ?EYE Above))))		 Anatomy.kif 1487-1499

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


(=>
    (and
        (instance ?AMBULATE Ambulating)
        (agent ?AMBULATE ?AGENT))
    (attribute ?AGENT Standing))		 Merge.kif 18167-18171
(=>
    (and
        (instance ?J Jumping)
        (agent ?J ?A))
    (holdsDuring
        (EndFn
            (WhenFn ?J))
        (not
            (attribute ?A Standing))))		 Mid-level-ontology.kif 541-548
(=>
    (and
        (instance ?SIT SittingDown)
        (agent ?SIT ?AGENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?SIT))
            (attribute ?AGENT Standing))
        (holdsDuring
            (EndFn
                (WhenFn ?SIT))
            (attribute ?AGENT Sitting))))		 Mid-level-ontology.kif 20999-21009
(=>
    (and
        (instance ?STAND StandingUp)
        (agent ?STAND ?AGENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?STAND))
            (attribute ?AGENT Sitting))
        (holdsDuring
            (EndFn
                (WhenFn ?STAND))
            (attribute ?AGENT Standing))))		 Mid-level-ontology.kif 21016-21026
(=>
    (holdsDuring ?T
        (attribute ?H Dizzy))
    (holdsDuring ?T
        (believes ?H
            (=>
                (exists (?T2)
                    (and
                        (during ?T2 ?T)
                        (holdsDuring ?T2
                            (attribute ?H Standing))))
                (exists (?F)
                    (and
                        (instance ?F Falling)
                        (experiencer ?F ?H)
                        (meetsTemporally ?T2
                            (WhenFn ?F))))))))		 Mid-level-ontology.kif 17339-17355


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 3.0 is open source software produced by Articulate Software and its partners