BodyPosition - Sigma Knowledge base Browser

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 18251-18253
(subclass BodyPosition BiologicalAttribute)	Merge.kif 18250-18250	Body position is a subclass of biological attribute

appearance as argument number 2

(instance Fist BodyPosition)	Mid-level-ontology.kif 21430-21430	Fist is an instance of body position
(instance Handstand BodyPosition)	Mid-level-ontology.kif 21455-21455	Handstand is an instance of body position
(instance Kneeling BodyPosition)	Mid-level-ontology.kif 21459-21459	Kneeling is an instance of body position
(instance LateralRecumbant BodyPosition)	Anatomy.kif 1865-1865	Lateral recumbant is an instance of body position
(instance Prostrate BodyPosition)	Merge.kif 18281-18281	Prostrate is an instance of body position
(instance Sitting BodyPosition)	Merge.kif 18277-18277	Sitting is an instance of body position
(instance Splitting BodyPosition)	Mid-level-ontology.kif 21476-21476	Splitting is an instance of body position
(instance Standing BodyPosition)	Merge.kif 18267-18267	Standing is an instance of body position
(termFormat ChineseLanguage BodyPosition "身体姿势")	domainEnglishFormat.kif 11497-11497	Standing is an instance of body position
(termFormat ChineseTraditionalLanguage BodyPosition "身體姿勢")	domainEnglishFormat.kif 11496-11496	Standing is an instance of body position
(termFormat EnglishLanguage BodyPosition "body position")	domainEnglishFormat.kif 11495-11495	Standing is an instance of body position

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 18255-18265

If an agent is an instance of animal,
then there exists a process such that the process is an instance of body motion and the agent is an agent of the process or there exists an attribute such that the attribute is an instance of body position and the attribute is an attribute of the agent

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

KB Term:			Term intersection

English Word: