LyingDown - Sigma Knowledge base Browser

appearance as argument number 1

(subclass LyingDown BodyMotion)	Mid-level-ontology.kif 21778-21778	Lying down is a subclass of body motion
(subclass LyingDown MotionDownward)	Mid-level-ontology.kif 21779-21779	Lying down is a subclass of motion downward
(documentation LyingDown EnglishLanguage "The BodyMotion of moving from a Sitting to a Prostrate position.")	Mid-level-ontology.kif 21780-21781	Lying down is a subclass of motion downward
(externalImage LyingDown "http://upload.wikimedia.org/wikipedia/en/thumb/ c/ c4/ Supine.jpg/ 180px_Supine.jpg")	pictureList.kif 1163-1163	Lying down is a subclass of motion downward
(externalImage LyingDown "http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ 1879_Benjamin_Constant_-_Favorite_of_the_Emir.jpg")	pictureList.kif 2850-2850	Lying down is a subclass of motion downward
(externalImage LyingDown "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ Zamoysky_Nu.jpg")	pictureList.kif 2851-2851	Lying down is a subclass of motion downward

appearance as argument number 2

(termFormat EnglishLanguage LyingDown "lying down")	domainEnglishFormat.kif 35377-35377
(termFormat ChineseTraditionalLanguage LyingDown "躺著")	domainEnglishFormat.kif 35378-35378
(termFormat ChineseLanguage LyingDown "躺着")	domainEnglishFormat.kif 35379-35379

antecedent

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

consequent

(=>
    (instance ?X Hammock)
    (hasPurpose ?X
        (exists (?PROC)
            (and
                (instance ?PROC LyingDown)
                (eventLocated ?PROC ?X)))))

Mid-level-ontology.kif 4617-4623

If X is an instance of hammock, then X has the purpose there exists Y such that Y is an instance of lying down and Y is located at 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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners