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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LateralRecumbant
LateralRecumbant(lateral recumbant)

appearance as argument number 1
-------------------------


(documentation LateralRecumbant EnglishLanguage "The BodyPosition of lying on one's side.") Anatomy.kif 1834-1834
(instance LateralRecumbant BodyPosition) Anatomy.kif 1832-1832 Lateral recumbant is an instance of body position
(subAttribute LateralRecumbant Prostrate) Anatomy.kif 1833-1833 Lateral recumbant is a subattribute of prostrate

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


(termFormat EnglishLanguage LateralRecumbant "lateral recumbant") Anatomy.kif 1836-1836
(termFormat EnglishLanguage LateralRecumbant "lying on one's side") Anatomy.kif 1835-1835

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?LA ?O)
            (meetsSpatially ?LL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?RA ?O))
            (not
                (meetsSpatially ?RL ?O)))))
Anatomy.kif 1838-1860
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?RA ?O)
            (meetsSpatially ?RL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?LA ?O))
            (not
                (meetsSpatially ?LL ?O)))))
Anatomy.kif 1862-1884


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