TreeView Knowledge Base Browser

appearance as argument number 1

(subclass MechanicalJoint EngineeringComponent)	Mid-level-ontology.kif 16862-16862	Mechanical joint is a subclass of engineering component
(documentation MechanicalJoint EnglishLanguage "A Device that links two parts of a PhysicalSystem and allows them to move in relation to one another. Examples include Hinges, drawer slides and BallJoints.")	Mid-level-ontology.kif 16864-16865	Mechanical joint is a subclass of engineering component

appearance as argument number 2

(subclass Hinge MechanicalJoint)	Mid-level-ontology.kif 16848-16848	Hinge is a subclass of mechanical joint
(termFormat EnglishLanguage MechanicalJoint "mechanical joint")	Mid-level-ontology.kif 16863-16863	Hinge is a subclass of mechanical joint
(subclass BallJoint MechanicalJoint)	Cars.kif 1303-1303	Ball joint is a subclass of mechanical joint
(subclass Bearing MechanicalJoint)	Cars.kif 1313-1313	Bearing is a subclass of mechanical joint
(subclass CVJoint MechanicalJoint)	Cars.kif 1951-1951	C.V. joint is a subclass of mechanical joint
(subclass UniversalJoint MechanicalJoint)	Cars.kif 4136-4136	Universal joint is a subclass of mechanical joint
(subclass RoboticJoint MechanicalJoint)	engineering.kif 1166-1166	Robotic joint is a subclass of mechanical joint

antecedent

(=>
    (instance ?MJ MechanicalJoint)
    (hasPurpose ?MJ
        (exists (?S ?P1 ?P2 ?M)
            (and
                (instance ?M Motion)
                (instance ?S PhysicalSystem)
                (instance ?P1 EngineeringComponent)
                (instance ?P2 EngineeringComponent)
                (part ?P1 PhysicalSystem)
                (part ?MJ PhysicalSystem)
                (part ?P2 PhysicalSystem)
                (not
                    (patient ?M ?P1))
                (patient ?M ?P2)
                (connectedEngineeringComponents ?P1 ?MJ)
                (connectedEngineeringComponents ?P2 ?MJ)))))

If X is an instance of mechanical joint, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that V is an instance of motion (3) Y is an instance of physical system (4) Z is an instance of engineering component (5) W is an instance of engineering component (6) Z is a part of physical system (7) X is a part of physical system (8) W is a part of physical system (9) Z is not a patient of V (10) W is a patient of V (11) Z is connected to X (12) W is connected to X