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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WalkingCane
WalkingCane

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 WalkingCane è una sottoclasse di Dispositivo

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


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

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