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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LateralRecumbant

Sigma KEE - LateralRecumbant
LateralRecumbant

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
(subAttribute LateralRecumbant Prostrate) Anatomy.kif 1833-1833

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