Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   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 |
|
|
| 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 |
|
