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 2902-2903
(externalImage WalkingCane "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2a/ Rattan_cane.jpg/ 45px_Rattan_cane.jpg") pictureList.kif 1287-1287
(subclass WalkingCane Device) Mid-level-ontology.kif 2901-2901 Walking cane is a subclass of device

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


(termFormat ChineseLanguage WalkingCane "拐杖") domainEnglishFormat.kif 62091-62091
(termFormat ChineseTraditionalLanguage WalkingCane "拐杖") domainEnglishFormat.kif 62090-62090
(termFormat EnglishLanguage WalkingCane "walking cane") domainEnglishFormat.kif 62089-62089

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


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


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