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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WalkingCane
WalkingCane(walking cane)
cane, club, malacca, malacca_cane, swagger_stick, walking_stick

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


(documentation WalkingCane EnglishLanguage "A Device which has the form of a staff with a handle and which enables some people to walk with greater assurance.") Mid-level-ontology.kif 2895-2896
(externalImage WalkingCane "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2a/ Rattan_cane.jpg/ 45px-Rattan_cane.jpg") pictureList.kif 1288-1288
(subclass WalkingCane Device) Mid-level-ontology.kif 2894-2894 Walking cane is a subclass of device

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


(termFormat ChineseLanguage WalkingCane "拐杖") domainEnglishFormat.kif 61984-61984
(termFormat ChineseTraditionalLanguage WalkingCane "拐杖") domainEnglishFormat.kif 61983-61983
(termFormat EnglishLanguage WalkingCane "walking cane") domainEnglishFormat.kif 61982-61982

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


(=>
    (instance ?C WalkingCane)
    (hasPurpose ?C
        (exists (?W)
            (and
                (instance ?W Walking)
                (instrument ?W ?C)))))
Mid-level-ontology.kif 2898-2904


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners