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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Kneeling est une instance de BodyPosition

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 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