|
|
   Glue
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Glue EnglishLanguage "Any Mixture whose purpose is to be used as the instrument of Attaching one thing to another.") | Mid-level-ontology.kif 8502-8503 | |
| (externalImage Glue "http://upload.wikimedia.org/wikipedia/commons/7/79/ Super_glue.jpg") | pictureList.kif 952-952 | |
| (subclass Glue AttachingDevice) | Mid-level-ontology.kif 8501-8501 | Glue is a subclass of attaching device |
| (subclass Glue Mixture) | Mid-level-ontology.kif 8500-8500 | Glue is a subclass of mixture |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Glue "胶") | domainEnglishFormat.kif 26157-26157 | |
| (termFormat ChineseTraditionalLanguage Glue "膠") | domainEnglishFormat.kif 26156-26156 | |
| (termFormat EnglishLanguage Glue "glue") | domainEnglishFormat.kif 26155-26155 |
| antecedent |
|
|
| (=> (instance ?GLUE Glue) (hasPurpose ?GLUE (exists (?ATTACH) (and (instance ?ATTACH Attaching) (instrument ?ATTACH ?GLUE))))) |
Mid-level-ontology.kif 8505-8511 |
|
|
|
|
