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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyPosition

 Sigma KEE - BodyPosition
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 18065-18067
(subclass BodyPosition BiologicalAttribute) Merge.kif 18064-18064 BodyPosition e' uma sub-classe de Atributo Biologico

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


(instance Fist BodyPosition) Mid-level-ontology.kif 19851-19851 Fist e' uma instancia de BodyPosition
(instance Handstand BodyPosition) Mid-level-ontology.kif 19876-19876 Handstand e' uma instancia de BodyPosition
(instance Kneeling BodyPosition) Mid-level-ontology.kif 19880-19880 Kneeling e' uma instancia de BodyPosition
(instance LateralRecumbant BodyPosition) Anatomy.kif 1832-1832 LateralRecumbant e' uma instancia de BodyPosition
(instance Prostrate BodyPosition) Merge.kif 18095-18095 Prostrate e' uma instancia de BodyPosition
(instance Sitting BodyPosition) Merge.kif 18091-18091 Sitting e' uma instancia de BodyPosition
(instance Splitting BodyPosition) Mid-level-ontology.kif 19897-19897 Splitting e' uma instancia de BodyPosition
(instance Standing BodyPosition) Merge.kif 18081-18081 Standing e' uma instancia de BodyPosition
(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 18069-18079


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

Show without tree


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