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 18139-18140
(instance Standing BodyPosition) Merge.kif 18138-18138 Standing is an instance of body position

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


(subAttribute StandardAnatomicalPosition Standing) Anatomy.kif 1782-1782 Standard anatomical position is a subattribute of standing
(termFormat ChineseLanguage Standing "站立") domainEnglishFormat.kif 55016-55016
(termFormat ChineseTraditionalLanguage Standing "站立") domainEnglishFormat.kif 55015-55015
(termFormat EnglishLanguage Standing "standing") domainEnglishFormat.kif 55014-55014

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 1469-1481
(=>
    (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 1488-1500

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


(=>
    (and
        (instance ?AMBULATE Ambulating)
        (agent ?AMBULATE ?AGENT))
    (attribute ?AGENT Standing))
Merge.kif 18142-18146
(=>
    (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 19937-19947
(=>
    (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 19954-19964
(=>
    (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 16438-16454


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