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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Inclining

Sigma KEE - Inclining
Inclining(倾斜)

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 13124-13126
(externalImage Inclining "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2e/ Raimundo_Madrazo_-_Reclining_Lady.jpg") pictureList.kif 2834-2834
(externalImage Inclining "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Leaning_satyr_Musei_Capitolini_MC739.jpg") pictureList.kif 2691-2691
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13122-13122 倾斜身体运动subclass
(subclass Inclining MotionDownward) Mid-level-ontology.kif 13123-13123 倾斜向下运动subclass

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


(subclass Bowing Inclining) Mid-level-ontology.kif 13129-13129 鞠躬倾斜subclass
(termFormat ChineseLanguage Inclining "倾斜") domainEnglishFormat.kif 29509-29509
(termFormat ChineseTraditionalLanguage Inclining "傾斜") domainEnglishFormat.kif 29508-29508
(termFormat EnglishLanguage Inclining "inclining") domainEnglishFormat.kif 29507-29507

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


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


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