Prone - Sigma Knowledge base Browser

appearance as argument number 1

(subAttribute Prone Prostrate)	Anatomy.kif 1817-1817	Prone is a subattribute of prostrate
(documentation Prone EnglishLanguage "Lying face down.")	Anatomy.kif 1819-1819	Prone is a subattribute of prostrate
(contraryAttribute Prone Supine)	Anatomy.kif 1834-1834	Prone is the opposite of supine

appearance as argument number 2

(termFormat EnglishLanguage Prone "prone")

antecedent

(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Prone)
                (orientation ?H ?O On)))
        (instance ?C Chest)
        (part ?C ?H))
    (meetsSpatially ?C ?O))

If prone is an attribute of X and X is on to Y holds during Z, W is an instance of chest, and W is a part of X, then W meets Y