Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Mounting

 Sigma KEE - Mounting
Mounting(mounting)
bestride, climb_on, get_on, hop_on, jump_on, mount, mount_up

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


(subclass Mounting BodyMotion) Mid-level-ontology.kif 448-448 Mounting is a subclass of body motion
(documentation Mounting EnglishLanguage "Any BodyMotion which results in being On something else.") Mid-level-ontology.kif 449-450 Mounting is a subclass of body motion
(externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/e/ eb/ Fremont_Solstice_Parade_2007_-_gymnasts_12-1.jpg") pictureList.kif 2705-2705 Mounting is a subclass of body motion
(externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/f/ f4/ Fremont_Solstice_Parade_2007_-_gymnasts_12-5.jpg") pictureList.kif 2860-2860 Mounting is a subclass of body motion
(externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/1/ 1d/ Fremont_Solstice_Parade_2007_-_gymnasts_12-6.jpg") pictureList.kif 2861-2861 Mounting is a subclass of body motion
(externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Fremont_Solstice_Parade_2007_-_gymnasts_12-8.jpg") pictureList.kif 2862-2862 Mounting is a subclass of body motion

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


(termFormat EnglishLanguage Mounting "mounting") domainEnglishFormat.kif 38999-38999
(termFormat ChineseTraditionalLanguage Mounting "安裝") domainEnglishFormat.kif 39000-39000
(termFormat ChineseLanguage Mounting "安装") domainEnglishFormat.kif 39001-39001

antecedent
-------------------------


(=>
    (and
        (instance ?M Mounting)
        (agent ?M ?A)
        (patient ?M ?O))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?M))
            (not
                (orientation ?A ?O On)))
        (holdsDuring
            (EndFn
                (WhenFn ?M))
            (orientation ?A ?O On))))		 Mid-level-ontology.kif 452-463 If X is an instance of mounting, Y is an agent of X, and Z is a patient of X, then Y is not on to Z holds during the beginning of the time of existence of X and Y is on to Z holds during the end of the time of existence of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners