Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WoodenArtifact
|
|
|
| appearance as argument number 1 |
|
|
| (subclass WoodenArtifact WoodProduct) | Economy.kif 5923-5923 | Wood artifact is a subclass of wood product |
| (documentation WoodenArtifact EnglishLanguage "WoodenArtifact refers to an ornament, tool, or other object that is made by a human being.") | Economy.kif 5924-5925 | Wood artifact is a subclass of wood product |
| (externalImage WoodenArtifact "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Sherry_cellar%2C_Solera_system%2C_2003.jpg") | pictureList.kif 9480-9480 | Wood artifact is a subclass of wood product |
| (externalImage WoodenArtifact "http://upload.wikimedia.org/wikipedia/en/ d/ de/ Woodcarvings_of_cranes.jpg") | pictureList.kif 9844-9844 | Wood artifact is a subclass of wood product |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?W WoodenArtifact) (material Wood ?W)) |
Economy.kif 5927-5929 | If X is an instance of wood artifact, then X is made of wood |
|
