Prostrate |
appearance as argument number 1 |
(documentation Prostrate ChineseLanguage "这是我们躺着时的 BodyPosition, 即是作为水平位置。") | chinese_format.kif 4012-4012 | |
(documentation Prostrate EnglishLanguage "The BodyPosition of lying down, being in a horizontal position.") | Merge.kif 18153-18154 | |
(instance Prostrate BodyPosition) | Merge.kif 18152-18152 |
appearance as argument number 2 |
(subAttribute LateralRecumbant Prostrate) | Anatomy.kif 1833-1833 | |
(subAttribute Prone Prostrate) | Anatomy.kif 1795-1795 | |
(subAttribute Supine Prostrate) | Anatomy.kif 1809-1809 | |
(termFormat ChineseLanguage Prostrate "踣") | domainEnglishFormat.kif 47824-47824 | |
(termFormat ChineseTraditionalLanguage Prostrate "踣") | domainEnglishFormat.kif 47823-47823 | |
(termFormat EnglishLanguage Prostrate "prostrate") | domainEnglishFormat.kif 47822-47822 |
consequent |
(=> (and (instance ?LIE LyingDown) (agent ?LIE ?AGENT)) (and (holdsDuring (BeginFn (WhenFn ?LIE)) (attribute ?AGENT Sitting)) (holdsDuring (EndFn (WhenFn ?LIE)) (attribute ?AGENT Prostrate)))) |
Mid-level-ontology.kif 19892-19902 |