| Antecedent | Consequence |
| EngProduct(?x) ∧ hasMaterial(?x, ?y) ∧ SandCastingMat(?y) ∧ hasDepressSingleDirec(?x, ?DSValue) ∧ swrlb: startsWith(?DSValue, “Y”) ∧ hasDepressDoubleDirec(?x, ?DDValue) ∧ swrlb:startsWith(?DDValue, “Y”) ∧ hasUniWall (?x, ?UWValue) ∧ swrlb:startsWith (?UWValue, “Y”) ∧ hasUniSect(?x, ?USValue) ∧ swrlb:startsWith(?USValue, “Y”) ∧ hasAxisRot(?x, ?ARValue) ∧ swrlb:startsWith(?ARValue, “Y”) ∧ hasRegXSec(?x, ?RXSValue) ∧ swrlb:startsWith(?RXSValue, “Y”) ∧ hasCaptCav(?x, ?CCValue) ∧ swrlb:startsWith(?CCValue, “Y”) ∧ hasEnclosed(?x, ?EnValue) ∧ swrlb:startsWith(?EnValue, “N”) ∧ hasNoDraft(?x, ?NDValue) ∧ swrlb:startsWith(?NDValue, “N”) ∧ hasPartWeight(?x, ?PWvalue) ∧ swrlb:greaterThan(?PWvalue, 0.0907) ∧ swrlb:lessThan(?PWvalue, 450000) ∧ hasUnit(?x, ?PWUnValue) ∧ Unitkg(?PWUnValue) ∧ hasMinWallThickness(?x, ?MWTValue) ∧ swrlb:greaterThan(?MWTValue, 3.175) ∧ hasMaxWallThickness(?x, ?MxWTValue) ∧ swrlb:lessThan(?MxWTValue, 1016) ∧ hasThicknessUnit(?x, ?ThUnValue) ∧ UnitMm(?ThUnValue)∧ hasTolerance(?x, ?TValue) ∧ swrlb:greaterThan(?TValue, 0.381) ∧ hasToleranceUnit(?x, ?TUnValue) ∧ UnitMm(?TUnValue) ∧ hasSurfaceFinish(?x, ?SFValue) ∧ swrlb:greaterThan(?SFValue, 0.003175) ∧ hasSurfaceFinishUnit(?x, ?SFUnValue) ∧ UnitMm(?SFUnValue) ∧ hasReqQuantity(?x, ?RQNumber) ∧ swrlb:greaterThan(?RQNumber, 1) ∧ swrlb:lessThan(?RQNumber, 1000)hasQuantityUnit(?x, ?QUnValue) ∧ UnitPcs(?QUnValue) | SameAs(SandCasting, ?x) |
|
|