Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance Prostrate BodyPosition) Merge.kif 18413-18413 Prostrate is an instance of body position
(documentation Prostrate EnglishLanguage "The BodyPosition of lying down, being in a horizontal position.") Merge.kif 18414-18415 Prostrate is an instance of body position

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


(subAttribute Prone Prostrate) Anatomy.kif 1817-1817 Prone is a subattribute of prostrate
(subAttribute Supine Prostrate) Anatomy.kif 1831-1831 Supine is a subattribute of prostrate
(subAttribute LateralRecumbant Prostrate) Anatomy.kif 1855-1855 Lateral recumbant is a subattribute of prostrate
(termFormat EnglishLanguage Prostrate "prostrate") domainEnglishFormat.kif 47815-47815 Lateral recumbant is a subattribute of prostrate
(termFormat ChineseTraditionalLanguage Prostrate "踣") domainEnglishFormat.kif 47816-47816 Lateral recumbant is a subattribute of prostrate
(termFormat ChineseLanguage Prostrate "踣") domainEnglishFormat.kif 47817-47817 Lateral recumbant 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 21783-21793 If X is an instance of lying down and Y is an agent of X, then sitting is an attribute of Y holds during the beginning of the time of existence of X and prostrate is an attribute of Y holds during the end of the time of existence of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners