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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Prostrate

Sigma KEE - Prostrate
Prostrate

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


(documentation Prostrate ChineseLanguage "这是我们躺着时的 BodyPosition, 即是作为水平位置。") chinese_format.kif 4012-4012
(documentation Prostrate EnglishLanguage "The BodyPosition of lying down, being in a horizontal position.") Merge.kif 18074-18075
(instance Prostrate BodyPosition) Merge.kif 18073-18073 Prostrate est une instance de BodyPosition

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


(subAttribute LateralRecumbant Prostrate) Anatomy.kif 1833-1833 LateralRecumbant est un sous-attribut de Prostrate
(subAttribute Prone Prostrate) Anatomy.kif 1795-1795 Prone est un sous-attribut de Prostrate
(subAttribute Supine Prostrate) Anatomy.kif 1809-1809 Supine est un sous-attribut de Prostrate
(termFormat ChineseLanguage Prostrate "踣") domainEnglishFormat.kif 47822-47822
(termFormat ChineseTraditionalLanguage Prostrate "踣") domainEnglishFormat.kif 47821-47821
(termFormat EnglishLanguage Prostrate "prostrate") domainEnglishFormat.kif 47820-47820

consequent
-------------------------


(=>
    (and
        (instance ?LIE LyingDown)
        (agent ?LIE ?AGENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LIE))
            (attribute ?AGENT Sitting))
        (holdsDuring
            (EndFn
                (WhenFn ?LIE))
            (attribute ?AGENT Prostrate))))
Mid-level-ontology.kif 19865-19875


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