Standing - Sigma Knowledge base Browser

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 18232-18233
(instance Standing BodyPosition)	Merge.kif 18231-18231	Standing is an instance of body position

appearance as argument number 2

(subAttribute StandardAnatomicalPosition Standing)	Anatomy.kif 1817-1817	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 1504-1516	If an object is an instance of eyebrow and healthy is an attribute of another object and standing is an attribute of the other object holds during a time position and the object is a part of the other object, then there exists the objectYE such that the objectYE is an instance of eye and the objectYE is a part of the other object and the object is above to the objectYE
(=> (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 1523-1535	If an object is an instance of forehead and healthy is an attribute of another object and standing is an attribute of the other object holds during a time position and a third object is a part of the other object, then there exists the third objectYE such that the third objectYE is an instance of eye and the third objectYE is a part of the other object and the object is above to the third objectYE

consequent

(=> (and (instance ?AMBULATE Ambulating) (agent ?AMBULATE ?AGENT)) (attribute ?AGENT Standing))	Merge.kif 18235-18239	If a process is an instance of ambulating and an agent is an agent of the process, then standing is an attribute of the agent
(=> (and (instance ?J Jumping) (agent ?J ?A)) (holdsDuring (EndFn (WhenFn ?J)) (not (attribute ?A Standing))))	Mid-level-ontology.kif 541-548	If a process is an instance of jumping and an agent is an agent of the process, then standing is not an attribute of the agent holds during the end of the time of existence of the process
(=> (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 21514-21524	If a process is an instance of sitting down and an agent is an agent of the process, then standing is an attribute of the agent holds during the beginning of the time of existence of the process and sitting is an attribute of the agent holds during the end of the time of existence of the process
(=> (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 21531-21541	If a process is an instance of standing up and an agent is an agent of the process, then sitting is an attribute of the agent holds during the beginning of the time of existence of the process and standing is an attribute of the agent holds during the end of the time of existence of the process
(=> (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 17818-17834	If dizziness is an attribute of an entity holds during a time position, then the entity believes if there exists the time position2 such that the time position2 takes place during the time position and standing is an attribute of the entity holds during the time position2, then there exists a third entity such that the third entity is an instance of falling and the entity experiences the third entity and the time position2 meets the time of existence of the third entity holds during the time position

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