Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Metallic3DPrinter(metallic 3D printer) |
| appearance as argument number 1 |
|
| (subclass Metallic3DPrinter ThreeDPrinter) | QoSontology.kif 551-551 | Metallic 3D printer is a subclass of 3D printer |
| (documentation Metallic3DPrinter EnglishLanguage "A Metallic3DPrinter is 3DPrinter using Metals as printing material.") | QoSontology.kif 552-553 | Metallic 3D printer is a subclass of 3D printer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Metallic3DPrinter "metallic 3D printer") | domainEnglishFormat.kif 65892-65892 |
| consequent |
|
|
| (=> (and (instance ?P ThreeDPrinting) (instance ?X Metal) (resource ?P ?X) (instrument ?P ?I)) (instance ?I Metallic3DPrinter)) |
QoSontology.kif 555-561 | If X is an instance of 3D printing, Y is an instance of metal, Y is a resource for X, and Z is an instrument for X, then Z is an instance of metallic 3D printer |
|