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 55054-55054 Standard anatomical position is a subattribute of standing
(termFormat ChineseTraditionalLanguage Standing "站立") domainEnglishFormat.kif 55053-55053 Standard anatomical position is a subattribute of standing
(termFormat EnglishLanguage Standing "standing") domainEnglishFormat.kif 55052-55052 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 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 20168-20178
(=>
    (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 20185-20195
(=>
    (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 16629-16645


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