Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyPosition
BodyPosition(body position)address, arabesque, asana, attention, attitude, ballet_position, decubitus, erectness, eversion, guard, lithotomy_position, lotus_position, matsyendra, missionary_position, position, posture, sprawl, sprawling, stance, uprightness

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 17787-17789
(subclass BodyPosition BiologicalAttribute) Merge.kif 17786-17786 Body position is a subclass of biological attribute

appearance as argument number 2
-------------------------


(instance Fist BodyPosition) Mid-level-ontology.kif 19199-19199 Fist is an instance of body position
(instance Handstand BodyPosition) Mid-level-ontology.kif 19224-19224 Handstand is an instance of body position
(instance Kneeling BodyPosition) Mid-level-ontology.kif 19228-19228 Kneeling is an instance of body position
(instance Prostrate BodyPosition) Merge.kif 17817-17817 Prostrate is an instance of body position
(instance Sitting BodyPosition) Merge.kif 17813-17813 Sitting is an instance of body position
(instance Splitting BodyPosition) Mid-level-ontology.kif 19245-19245 Splitting is an instance of body position
(instance Standing BodyPosition) Merge.kif 17803-17803 Standing is an instance of body position
(termFormat ChineseLanguage BodyPosition "身体姿势") domainEnglishFormat.kif 11492-11492
(termFormat ChineseTraditionalLanguage BodyPosition "身體姿勢") domainEnglishFormat.kif 11491-11491
(termFormat EnglishLanguage BodyPosition "body position") domainEnglishFormat.kif 11490-11490

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 17791-17801


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners