![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
VolcanoStatus
|
|
|
| appearance as argument number 1 |
|
|
| (subclass VolcanoStatus InternalAttribute) | Geography.kif 5575-5575 | Volcano status is a subclass of internal attribute |
| (exhaustiveAttribute VolcanoStatus VolcanicallyActive VolcanicallyDormant VolcanicallyExtinct) | Geography.kif 5580-5580 | Volcanically active are all the attributes of volcano status |
| (externalImage VolcanoStatus "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ Volcano.jpeg") | pictureList.kif 8782-8782 | Volcanically active are all the attributes of volcano status |
| (externalImage VolcanoStatus "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ MtCleveland_ISS013-E-24184.jpg") | pictureList.kif 9802-9802 | Volcanically active are all the attributes of volcano status |
| (externalImage VolcanoStatus "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Spaccato_vulcano.png") | pictureList.kif 9804-9804 | Volcanically active are all the attributes of volcano status |
| appearance as argument number 2 |
|
|