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 e' uma instancia de BodyPosition |
appearance as argument number 2 |
(subAttribute StandardAnatomicalPosition Standing) | Anatomy.kif 1782-1782 | StandardAnatomicalPosition e' um sub-atributo de 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 |