Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Toothbrush
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Toothbrush BrushOrComb) | Mid-level-ontology.kif 2818-2818 | Toothbrush is a subclass of brush or comb |
| (documentation Toothbrush EnglishLanguage "A small BrushOrComb with relatively soft bristles and a long handle, used for brushing teeth (see Tooth). It is used help control bacteria living in the mouth. While most typically used by humans on themselves, it can be used by Dentists on their patients and by adults assisting children. They are occasionally used by humans caring for pets, zoo animals and valuable livestock.") | Mid-level-ontology.kif 2819-2824 | Toothbrush is a subclass of brush or comb |
| (externalImage Toothbrush "http://articulatesoftware.com/SUMOpictures/household/ bathroom/ toothbrush.png") | pictureList.kif 788-788 | Toothbrush is a subclass of brush or comb |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?T Toothbrush) (hasPurpose ?T (exists (?K ?B ?TOOTH) (and (instance ?TOOTH Tooth) (instrument ?K ?T) (instance ?K Killing) (instance ?B Bacterium) (patient ?K ?B) (patient ?K ?TOOTH))))) |
Mid-level-ontology.kif 2825-2835 | If X is an instance of toothbrush, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of tooth (3) X is an instrument for Y (4) Y is an instance of killing (5) Z is an instance of bacterium (6) Z is a patient of Y (7) W is a patient of Y |
|
