TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ThreeDPrinter ComputerOutputDevice)	QoSontology.kif 469-469	3D printer Is a subclass of computer output device
(documentation ThreeDPrinter EnglishLanguage "A ThreeDPrinter is a ComputerOutputDevice for the construction of a three-dimensional Object from a Computer-Aided Design (CAD) model or a digital 3D model. Three-dimensional models represent a physical body using a collection of points in 3D space, connected by various geometric entities such as triangles, lines, curved surface etc. In a 3D printing process, material is deposited, joined or solidified under computer control, with the material being added together (such as plastics, liquids or powder grains being fused), typically layer by layer. [Wikipedia]")	QoSontology.kif 470-476	3D printer Is a subclass of computer output device

appearance as argument number 2

(subclass Metallic3DPrinter ThreeDPrinter)	QoSontology.kif 551-551	Metallic 3D printer is a subclass of 3D printer
(subclass PlasticPrinter ThreeDPrinter)	QoSontology.kif 563-563	Plastic printer is a subclass of 3D printer
(termFormat EnglishLanguage ThreeDPrinter "3D printer")	domainEnglishFormat.kif 65993-65993	Plastic printer is a subclass of 3D printer

antecedent

(=>
    (instance ?X ThreeDPrinter)
    (hasPurpose ?X
        (exists (?P)
            (and
                (instance ?P ThreeDPrinting)
                (instrument ?P ?X)))))

If X is an instance of 3D printer, then X has the purpose there exists Y such that Y is an instance of 3D printing and X is an instrument for Y