Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Button

 Sigma KEE - Button
Button(button)
button, coat_button, release, shirt_button

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


(subclass Button AttachingDevice) Mid-level-ontology.kif 4908-4908 Button is a subclass of attaching device
(documentation Button EnglishLanguage "An AttachingDevice that is used on Clothing.") Mid-level-ontology.kif 4909-4909 Button is a subclass of attaching device
(externalImage Button "http://articulatesoftware.com/SUMOpictures/clothes/ button.png") pictureList.kif 308-308 Button is a subclass of attaching device

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


(termFormat EnglishLanguage Button "button") domainEnglishFormat.kif 12529-12529
(termFormat ChineseTraditionalLanguage Button "按鍵") domainEnglishFormat.kif 12530-12530
(termFormat ChineseLanguage Button "按键") domainEnglishFormat.kif 12531-12531

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


(=>
    (instance ?B Button)
    (hasPurpose ?B
        (exists (?C)
            (and
                (instance ?C Clothing)
                (part ?B ?C)))))		 Mid-level-ontology.kif 4910-4916 If X is an instance of button, then X has the purpose there exists Y such that Y is an instance of clothing and X is a part of Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners