| Towel(towel)
| | beach_towel, face_towel, hand_towel |
| appearance as argument number 1 |
|
|
| (documentation Towel EnglishLanguage "A piece of Fabric which is used for Drying.") | Mid-level-ontology.kif 6315-6315 | |
| (subclass Towel Fabric) | Mid-level-ontology.kif 6316-6316 | Towel is a subclass of fabric |
| (externalImage Towel "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Towel_Animal_snake.jpg") | pictureList.kif 4835-4835 | Towel is a subclass of fabric |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?X Towel) (capability Drying instrument ?X)) |
Mid-level-ontology.kif 6318-6320 | If X is an instance of towel, then X is capable of doing drying as a instrument |
| (=> (instance ?T Towel) (hasPurpose ?T (exists (?D) (and (instance ?D Drying) (instrument ?D ?T))))) |
Mid-level-ontology.kif 6322-6328 | If X is an instance of towel, then X has the purpose there exists Y such that Y is an instance of drying and X is an instrument for Y |
|
|
|