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

KB Term:  Term intersection
English Word: 

Sigma KEE - Glue
Glue(glue)
adhesive, adhesive_agent, adhesive_material, animal_glue

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


(subclass Glue Mixture) Mid-level-ontology.kif 10264-10264 Glue is a subclass of mixture
(subclass Glue AttachingDevice) Mid-level-ontology.kif 10265-10265 Glue is a subclass of attaching device
(documentation Glue EnglishLanguage "Any Mixture whose purpose is to be used as the instrument of Attaching one thing to another.") Mid-level-ontology.kif 10266-10267 Glue is a subclass of attaching device
(roomTempState Glue Liquid) Mid-level-ontology.kif 34059-34059 room temperature state glue and liquid
(externalImage Glue "http://upload.wikimedia.org/wikipedia/commons/7/79/ Super_glue.jpg") pictureList.kif 951-951 room temperature state glue and liquid

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


(termFormat EnglishLanguage Glue "glue") domainEnglishFormat.kif 26168-26168
(termFormat ChineseTraditionalLanguage Glue "膠") domainEnglishFormat.kif 26169-26169
(termFormat ChineseLanguage Glue "胶") domainEnglishFormat.kif 26170-26170

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


(=>
    (instance ?GLUE Glue)
    (hasPurpose ?GLUE
        (exists (?ATTACH)
            (and
                (instance ?ATTACH Attaching)
                (instrument ?ATTACH ?GLUE)))))		 Mid-level-ontology.kif 10269-10275 If X is an instance of glue, then X has the purpose there exists Y such that Y is an instance of attaching and X is an instrument for Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners