Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  dressCode

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