| LyingDown
| |
| appearance as argument number 1 |
|
|
| (documentation LyingDown EnglishLanguage "The BodyMotion of moving from a Sitting to a Prostrate position.") | Mid-level-ontology.kif 20120-20121 | |
| (externalImage LyingDown "http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ 1879_Benjamin-Constant_-_Favorite_of_the_Emir.jpg") | pictureList.kif 2850-2850 | |
| (externalImage LyingDown "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ Zamoysky_Nu.jpg") | pictureList.kif 2851-2851 | |
| (externalImage LyingDown "http://upload.wikimedia.org/wikipedia/en/thumb/ c/ c4/ Supine.jpg/ 180px-Supine.jpg") | pictureList.kif 1163-1163 | |
| (subclass LyingDown BodyMotion) | Mid-level-ontology.kif 20118-20118 | |
| (subclass LyingDown MotionDownward) | Mid-level-ontology.kif 20119-20119 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LyingDown "躺着") | domainEnglishFormat.kif 35404-35404 | |
| (termFormat ChineseTraditionalLanguage LyingDown "躺著") | domainEnglishFormat.kif 35403-35403 | |
| (termFormat EnglishLanguage LyingDown "lying down") | domainEnglishFormat.kif 35402-35402 |
| antecedent |
|
|
| (=> (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 20123-20133 |
| consequent |
|
|
| (=> (instance ?X Hammock) (hasPurpose ?X (exists (?PROC) (and (instance ?PROC LyingDown) (eventLocated ?PROC ?X))))) |
Mid-level-ontology.kif 3964-3970 |
|
|
|