![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
ListFn__7Fn__0En1En2Re3In4In5En6En7InFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Wax CompoundSubstance) | Mid-level-ontology.kif 2233-2233 | Wax is a subclass of compound substance |
| (documentation Wax EnglishLanguage "Any Substance of high molecular weight that resembles beeswax.") | Mid-level-ontology.kif 2234-2235 | Wax is a subclass of compound substance |
| (roomTempState Wax Solid) | Mid-level-ontology.kif 33907-33907 | room temperature state wax and solid |
| (externalImage Wax "http://upload.wikimedia.org/wikipedia/commons/a/a8/Beeswax.jpg") | pictureList.kif 920-920 | room temperature state wax and solid |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?CANDLE Candle) (material Wax ?CANDLE)) |
Mid-level-ontology.kif 3653-3655 | If X is an instance of candle, then X is made of wax |