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 18122-18124 | |
(subclass BodyPosition BiologicalAttribute) | Merge.kif 18121-18121 |
appearance as argument number 2 |
(instance Fist BodyPosition) | Mid-level-ontology.kif 19879-19879 | |
(instance Handstand BodyPosition) | Mid-level-ontology.kif 19904-19904 | |
(instance Kneeling BodyPosition) | Mid-level-ontology.kif 19908-19908 | |
(instance LateralRecumbant BodyPosition) | Anatomy.kif 1832-1832 | |
(instance Prostrate BodyPosition) | Merge.kif 18152-18152 | |
(instance Sitting BodyPosition) | Merge.kif 18148-18148 | |
(instance Splitting BodyPosition) | Mid-level-ontology.kif 19925-19925 | |
(instance Standing BodyPosition) | Merge.kif 18138-18138 | |
(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 18126-18136 |