Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Inclining
Inclining(inclining)
angle, bend, bended, bent, bow, crouch, get_down, heel, lean, lean_back, list, recline, slant, slouch, slump, stoop, tilt, tip

appearance as argument number 1
-------------------------


(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 13993-13995
(externalImage Inclining "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2e/ Raimundo_Madrazo_-_Reclining_Lady.jpg") pictureList.kif 2833-2833
(externalImage Inclining "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Leaning_satyr_Musei_Capitolini_MC739.jpg") pictureList.kif 2690-2690
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13991-13991 Inclining is a subclass of body motion
(subclass Inclining MotionDownward) Mid-level-ontology.kif 13992-13992 Inclining is a subclass of motion downward

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


(subclass Bowing Inclining) Mid-level-ontology.kif 13998-13998 Bowing is a subclass of inclining
(termFormat ChineseLanguage Inclining "倾斜") domainEnglishFormat.kif 29537-29537 Bowing is a subclass of inclining
(termFormat ChineseTraditionalLanguage Inclining "傾斜") domainEnglishFormat.kif 29536-29536 Bowing is a subclass of inclining
(termFormat EnglishLanguage Inclining "inclining") domainEnglishFormat.kif 29535-29535 Bowing is a subclass of inclining

consequent
-------------------------


(=>
    (instance ?X Recliner)
    (modalAttribute
        (exists (?INCLINE)
            (and
                (instance ?INCLINE Inclining)
                (patient ?INCLINE ?X))) Possibility))
Mid-level-ontology.kif 27292-27298


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 is open source software produced by Articulate Software and its partners