Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance Standing BodyPosition) Merge.kif 18399-18399 Standing is an instance of body position
(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 18400-18401 Standing is an instance of body position

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


(subAttribute StandardAnatomicalPosition Standing) Anatomy.kif 1804-1804 Standard anatomical position is a subattribute of standing
(termFormat EnglishLanguage Standing "standing") domainEnglishFormat.kif 55009-55009 Standard anatomical position is a subattribute of standing
(termFormat ChineseTraditionalLanguage Standing "站立") domainEnglishFormat.kif 55010-55010 Standard anatomical position is a subattribute of standing
(termFormat ChineseLanguage Standing "站立") domainEnglishFormat.kif 55011-55011 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 1491-1503 If X is an instance of eyebrow, healthy is an attribute of Y and standing is an attribute of Y holds during Z, and X is a part of Y, then there exists W such that W is an instance of eye, W is a part of Y, and X is above to W
(=>
    (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 1510-1522 If X is an instance of forehead, healthy is an attribute of Y and standing is an attribute of Y holds during Z, and W is a part of Y, then there exists V such that V is an instance of eye, V is a part of Y, and X is above to V

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


(=>
    (and
        (instance ?AMBULATE Ambulating)
        (agent ?AMBULATE ?AGENT))
    (attribute ?AGENT Standing))		 Merge.kif 18403-18407 If X is an instance of ambulating and Y is an agent of X, then standing is an attribute of Y
(=>
    (and
        (instance ?J Jumping)
        (agent ?J ?A))
    (holdsDuring
        (EndFn
            (WhenFn ?J))
        (not
            (attribute ?A Standing))))		 Mid-level-ontology.kif 531-538 If X is an instance of jumping and Y is an agent of X, then standing is not an attribute of Y holds during the end of the time of existence of X
(=>
    (holdsDuring ?T
        (attribute ?H Dizzy))
    (holdsDuring ?T
        (fears ?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 18044-18060 If dizziness is an attribute of X holds during Y, then X fears there exists Z such that Z takes place during Y, standing is an attribute of X holds during Zthere exists W such that W is an instance of falling, X experiences W, and Z meets the time of existence of W holds during Y
(=>
    (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 21828-21838 If X is an instance of sitting down and Y is an agent of X, then standing is an attribute of Y holds during the beginning of the time of existence of X and sitting is an attribute of Y holds during the end of the time of existence of X
(=>
    (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 21845-21855 If X is an instance of standing up and Y is an agent of X, then sitting is an attribute of Y holds during the beginning of the time of existence of X and standing is an attribute of Y holds during the end of the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners