(=>
(instance ?P ThreeDPrinting)
(exists (?X ?A)
(and
(instance ?X DigitalData)
(represents ?X ?A)
(instance ?A Artifact)
(result ?P ?A)))) |
QoSontology.kif 491-498 |
If X is an instance of 3D printing, then there exist Y, Z such that Y is an instance of digital data, Y expresses Z, Z is an instance of artifact, and Z is a result of X |
(=>
(and
(instance ?P ThreeDPrinting)
(instance ?X Substance)
(resource ?P ?X))
(exists (?R)
(and
(instance ?R Reservoir)
(part ?R ?P)
(origin ?P ?R)
(located ?X ?R)))) |
QoSontology.kif 500-510 |
If X is an instance of 3D printing, Y is an instance of substance, and Y is a resource for X, then there exists Z such that Z is an instance of reservoir, Z is a part of X, X originates at Z, and Y is located at Z |
(=>
(and
(instance ?P ThreeDPrinting)
(instance ?X CompoundSubstance)
(patient ?P ?X))
(exists (?SC)
(and
(instance ?SC ShapeChange)
(subProcess ?SC ?P)
(patient ?SC ?X)))) |
QoSontology.kif 512-521 |
If X is an instance of 3D printing, Y is an instance of compound substance, and Y is a patient of X, then there exists Z such that Z is an instance of shape change, Z is a subprocess of X, and Y is a patient of Z |
(=>
(and
(instance ?P ThreeDPrinting)
(instance ?O Artifact)
(result ?P ?O))
(exists (?A ?X ?B ?Y)
(and
(instance ?A Making)
(subProcess ?A ?P)
(instance ?X SelfConnectedObject)
(part ?X ?O)
(result ?A ?X)
(instance ?B Making)
(subProcess ?B ?P)
(instance ?Y SelfConnectedObject)
(part ?Y ?O)
(overlapsSpatially ?X ?Y)
(orientation ?X ?Y Below)
(during
(WhenFn ?A)
(WhenFn ?P))
(during
(WhenFn ?B)
(WhenFn ?P))
(earlier
(WhenFn ?A)
(WhenFn ?B))))) |
QoSontology.kif 523-549 |
If X is an instance of 3D printing, Y is an instance of artifact, and Y is a result of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of making (3) Z is a subprocess of X (4) W is an instance of self connected object (5) W is a part of Y (6) W is a result of Z (7) V is an instance of making (8) V is a subprocess of X (9) U is an instance of self connected object (10) U is a part of Y (11) W (12) U overlapsSpatially (13) W is below to U (14) the time of existence of Z takes place during the time of existence of X (15) the time of existence of V takes place during the time of existence of X (16) the time of existence of Z happens earlier than the time of existence of V |
(=>
(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 |
(=>
(and
(instance ?P ThreeDPrinting)
(instance ?X Plastic)
(resource ?P ?X)
(instrument ?P ?I))
(instance ?I PlasticPrinter)) |
QoSontology.kif 568-574 |
If X is an instance of 3D printing, Y is an instance of plastic, Y is a resource for X, and Z is an instrument for X, then Z is an instance of plastic printer |
ThreeDPrinting