Inclining - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Inclining BodyMotion)	Mid-level-ontology.kif 14651-14651	Inclining is a subclass of body motion
(subclass Inclining MotionDownward)	Mid-level-ontology.kif 14652-14652	Inclining is a subclass of motion downward
(documentation Inclining EnglishLanguage "Moving one's body downward from a vertical position. Note that this class covers cases of leaning forward, as well as those of reclining backwards.")	Mid-level-ontology.kif 14653-14655	Inclining is a subclass of motion downward
(externalImage Inclining "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Leaning_satyr_Musei_Capitolini_MC739.jpg")	pictureList.kif 2690-2690	Inclining is a subclass of motion downward
(externalImage Inclining "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2e/ Raimundo_Madrazo_-_Reclining_Lady.jpg")	pictureList.kif 2833-2833	Inclining is a subclass of motion downward

appearance as argument number 2

(subclass Bowing Inclining)	Mid-level-ontology.kif 14658-14658	Bowing is a subclass of inclining
(termFormat EnglishLanguage Inclining "inclining")	domainEnglishFormat.kif 29511-29511	Bowing is a subclass of inclining
(termFormat ChineseTraditionalLanguage Inclining "傾斜")	domainEnglishFormat.kif 29512-29512	Bowing is a subclass of inclining
(termFormat ChineseLanguage Inclining "倾斜")	domainEnglishFormat.kif 29513-29513	Bowing is a subclass of inclining

consequent

(=>
    (instance ?X Recliner)
    (modalAttribute
        (exists (?INCLINE)
            (and
                (instance ?INCLINE Inclining)
                (patient ?INCLINE ?X))) Possibility))

If X is an instance of recliner, then the statement there exists Y such that Y is an instance of inclining and X is a patient of Y has the modal force of possibility