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 2432-2433
(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 2431-2431 Walking cane is a subclass of device

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


(termFormat ChineseLanguage WalkingCane "拐杖") domainEnglishFormat.kif 62145-62145
(termFormat ChineseTraditionalLanguage WalkingCane "拐杖") domainEnglishFormat.kif 62144-62144
(termFormat EnglishLanguage WalkingCane "walking cane") domainEnglishFormat.kif 62143-62143

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


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


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