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 18043-18045
(subclass BodyPosition BiologicalAttribute)	Merge.kif 18042-18042	BodyPosition は生物学的属性の subclass では %n

appearance as argument number 2

(instance Fist BodyPosition)	Mid-level-ontology.kif 19852-19852	Fist は BodyPosition の instance では %n
(instance Handstand BodyPosition)	Mid-level-ontology.kif 19877-19877	Handstand は BodyPosition の instance では %n
(instance Kneeling BodyPosition)	Mid-level-ontology.kif 19881-19881	Kneeling は BodyPosition の instance では %n
(instance LateralRecumbant BodyPosition)	Anatomy.kif 1832-1832	LateralRecumbant は BodyPosition の instance では %n
(instance Prostrate BodyPosition)	Merge.kif 18073-18073	Prostrate は BodyPosition の instance では %n
(instance Sitting BodyPosition)	Merge.kif 18069-18069	Sitting は BodyPosition の instance では %n
(instance Splitting BodyPosition)	Mid-level-ontology.kif 19898-19898	Splitting は BodyPosition の instance では %n
(instance Standing BodyPosition)	Merge.kif 18059-18059	Standing は BodyPosition の instance では %n
(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

AutonomousAgent は動物の instance では %n
工程工程は動作の instance では %n AutonomousAgent は工程の agent では %n 属性属性は BodyPosition の instance では %n 属性は AutonomousAgent の attribute では %n

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: