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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Standing
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 18060-18061
(instance Standing BodyPosition) Merge.kif 18059-18059 Standing est une instance de BodyPosition

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


(subAttribute StandardAnatomicalPosition Standing) Anatomy.kif 1782-1782 StandardAnatomicalPosition est un sous-attribut de Standing
(termFormat ChineseLanguage Standing "站立") domainEnglishFormat.kif 55014-55014
(termFormat ChineseTraditionalLanguage Standing "站立") domainEnglishFormat.kif 55013-55013
(termFormat EnglishLanguage Standing "standing") domainEnglishFormat.kif 55012-55012

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 18063-18067
(=>
    (and
        (instance ?J Jumping)
        (agent ?J ?A))
    (holdsDuring
        (EndFn
            (WhenFn ?J))
        (not
            (attribute ?A Standing))))
Mid-level-ontology.kif 548-555
(=>
    (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 19910-19920
(=>
    (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 19927-19937
(=>
    (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 16411-16427


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