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 2439-2440
(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 2438-2438 Walking cane is a subclass of device

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


(termFormat ChineseLanguage WalkingCane "拐杖") domainEnglishFormat.kif 62097-62097
(termFormat ChineseTraditionalLanguage WalkingCane "拐杖") domainEnglishFormat.kif 62096-62096
(termFormat EnglishLanguage WalkingCane "walking cane") domainEnglishFormat.kif 62095-62095

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


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


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