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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kneeling

Sigma KEE - Kneeling
Kneeling

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


(documentation Kneeling EnglishLanguage "The BodyPosition of resting one's weight on one's Knees.") Mid-level-ontology.kif 19882-19883
(externalImage Kneeling "http://articulatesoftware.com/SUMOpictures/people/ faces/ faces_5/ kneeling.png") pictureList.kif 541-541
(instance Kneeling BodyPosition) Mid-level-ontology.kif 19881-19881

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


(termFormat ChineseLanguage Kneeling "跪") domainEnglishFormat.kif 32689-32689
(termFormat ChineseTraditionalLanguage Kneeling "跪") domainEnglishFormat.kif 32688-32688
(termFormat EnglishLanguage Kneeling "kneeling") domainEnglishFormat.kif 32687-32687

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


(=>
    (and
        (instance ?KB KneelingDown)
        (agent ?KB ?A))
    (holdsDuring
        (EndFn
            (WhenFn ?KB))
        (attribute ?A Kneeling)))
Mid-level-ontology.kif 19889-19896


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