Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   DownloadingingUpdate
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SteamEngine Engine) | Mid-level-ontology.kif 2323-2323 | Steam engine is a subclass of engine |
| (documentation SteamEngine EnglishLanguage "SteamEngine is the subclass of Engines that produce mechanical power from heat and steam pressure.") | Mid-level-ontology.kif 2324-2325 | Steam engine is a subclass of engine |
| (externalImage SteamEngine "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ SS_Ukkopekka_steam_engine.jpg") | pictureList.kif 2002-2002 | Steam engine is a subclass of engine |
| (externalImage SteamEngine "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Steam_engine_nomenclature.png") | pictureList.kif 2375-2375 | Steam engine is a subclass of engine |
| appearance as argument number 2 |
|
|
|
