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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Prostrate
Prostrate(prostrate)dead-man's_float, prone_float

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 18178-18179
(instance Prostrate BodyPosition) Merge.kif 18177-18177 Prostrate is an instance of body position

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


(subAttribute LateralRecumbant Prostrate) Anatomy.kif 1832-1832 Lateral recumbant is a subattribute of prostrate
(subAttribute Prone Prostrate) Anatomy.kif 1794-1794 Prone is a subattribute of prostrate
(subAttribute Supine Prostrate) Anatomy.kif 1808-1808 Supine is a subattribute of prostrate
(termFormat ChineseLanguage Prostrate "踣") domainEnglishFormat.kif 47853-47853 Supine is a subattribute of prostrate
(termFormat ChineseTraditionalLanguage Prostrate "踣") domainEnglishFormat.kif 47852-47852 Supine is a subattribute of prostrate
(termFormat EnglishLanguage Prostrate "prostrate") domainEnglishFormat.kif 47851-47851 Supine is a subattribute of prostrate

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


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