Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Towel EnglishLanguage "A piece of Fabric which is used for Drying.") | Mid-level-ontology.kif 6478-6478 | |
| (subclass Towel Fabric) | Mid-level-ontology.kif 6479-6479 | 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 6481-6483 | 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 6485-6491 | 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 |
|
