| BodyPosition(身体姿势) | |
| appearance as argument number 1 |
|
|
| (documentation BodyPosition ChineseLanguage "这是用来表示动物或人类身体构造或身体部分 Attribute 的类别，例如：站着、坐下、跪下和躺下等等。") | chinese_format.kif 4006-4007 | |
| (documentation BodyPosition EnglishLanguage "The class of Attributes expressing configurations of bodies or parts of bodies of animals or humans, e.g. standing, sitting, kneeling, lying down, etc.") | Merge.kif 18043-18045 | |
| (subclass BodyPosition BiologicalAttribute) | Merge.kif 18042-18042 | 身体姿势 是 生物属性 的 subclass |
| appearance as argument number 2 |
|
|
| (instance Fist BodyPosition) | Mid-level-ontology.kif 19852-19852 | 拳头 是 身体姿势 的 instance |
| (instance Handstand BodyPosition) | Mid-level-ontology.kif 19877-19877 | 倒立 是 身体姿势 的 instance |
| (instance Kneeling BodyPosition) | Mid-level-ontology.kif 19881-19881 | 跪 是 身体姿势 的 instance |
| (instance LateralRecumbant BodyPosition) | Anatomy.kif 1832-1832 | LateralRecumbant 是 身体姿势 的 instance |
| (instance Prostrate BodyPosition) | Merge.kif 18073-18073 | 踣 是 身体姿势 的 instance |
| (instance Sitting BodyPosition) | Merge.kif 18069-18069 | 坐在 是 身体姿势 的 instance |
| (instance Splitting BodyPosition) | Mid-level-ontology.kif 19898-19898 | 分裂 是 身体姿势 的 instance |
| (instance Standing BodyPosition) | Merge.kif 18059-18059 | 站立 是 身体姿势 的 instance |
| (termFormat ChineseLanguage BodyPosition "身体姿势") | domainEnglishFormat.kif 11489-11489 | |
| (termFormat ChineseTraditionalLanguage BodyPosition "身體姿勢") | domainEnglishFormat.kif 11488-11488 | |
| (termFormat EnglishLanguage BodyPosition "body position") | domainEnglishFormat.kif 11487-11487 |
| consequent |
|
|
| (=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR))))) |
Merge.kif 18047-18057 |
|
|
|