TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PhysicalSystem Physical)	Merge.kif 6240-6240	Physical system is a subclass of physical
(documentation PhysicalSystem EnglishLanguage "PhysicalSystem is the class of complex Physical things. A PhysicalSystem may have one or more corresponding abstract Graph representations.")	Merge.kif 6242-6244	Physical system is a subclass of physical
(externalImage PhysicalSystem "http://upload.wikimedia.org/wikipedia/en/ 7/ 7c/ Physical_systems.gif")	pictureList.kif 6765-6765	Physical system is a subclass of physical

appearance as argument number 2

(subclass AutoSuspensionSystem PhysicalSystem)	Cars.kif 654-654	Auto suspension system is a subclass of physical system
(subclass BrakeSystem PhysicalSystem)	Cars.kif 1168-1168	Brake system is a subclass of physical system
(subclass HydraulicCylinder PhysicalSystem)	Cars.kif 1483-1483	Hydraulic cylinder is a subclass of physical system
(subclass EngineCoolingSystem PhysicalSystem)	Cars.kif 1986-1986	Engine cooling system is a subclass of physical system
(subclass AutomobileExhaustSystem PhysicalSystem)	Cars.kif 2443-2443	Exhaust system is a subclass of physical system
(subclass AutomobileIgnitionSystem PhysicalSystem)	Cars.kif 3085-3085	Automobile ignition system is a subclass of physical system
(subclass TransitSystem PhysicalSystem)	Transportation.kif 3962-3962	Transit system is a subclass of physical system
(termFormat EnglishLanguage PhysicalSystem "physical system")	domainEnglishFormat.kif 45731-45731	Transit system is a subclass of physical system
(termFormat ChineseTraditionalLanguage PhysicalSystem "物理系統")	domainEnglishFormat.kif 45732-45732	Transit system is a subclass of physical system
(termFormat ChineseLanguage PhysicalSystem "物理系统")	domainEnglishFormat.kif 45733-45733	Transit system is a subclass of physical system

appearance as argument number 3

(domain subSystem 1 PhysicalSystem)	Merge.kif 6247-6247	The number 1 argument of sub system is an instance of physical system
(domain subSystem 2 PhysicalSystem)	Merge.kif 6248-6248	The number 2 argument of sub system is an instance of physical system
(domain systemPart 2 PhysicalSystem)	Merge.kif 6255-6255	The number 2 argument of system part is an instance of physical system
(domain dampingRatio 1 PhysicalSystem)	Cars.kif 734-734	The number 1 argument of damping ratio is an instance of physical system
(domain resonantFrequency 1 PhysicalSystem)	Cars.kif 767-767	The number 1 argument of resonant frequency is an instance of physical system

consequent

(=>
    (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