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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kneeling
Kneeling(kneeling)
kneel, kneeling

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


(documentation Kneeling EnglishLanguage "The BodyPosition of resting one's weight on one's Knees.") Mid-level-ontology.kif 19909-19910
(externalImage Kneeling "http://articulatesoftware.com/SUMOpictures/people/ faces/ faces_5/ kneeling.png") pictureList.kif 541-541
(instance Kneeling BodyPosition) Mid-level-ontology.kif 19908-19908 Kneeling is an instance of body position

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


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