PhysicalSystem - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PhysicalSystem Physical)	Merge.kif 6170-6170	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 6172-6174	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 717-717	Auto suspension system is a subclass of physical system
(subclass Automobile PhysicalSystem)	Cars.kif 836-836	Automobile is a subclass of physical system
(subclass BrakeSystem PhysicalSystem)	Cars.kif 1230-1230	Brake system is a subclass of physical system
(subclass HydraulicCylinder PhysicalSystem)	Cars.kif 1604-1604	Hydraulic cylinder is a subclass of physical system
(subclass EngineCoolingSystem PhysicalSystem)	Cars.kif 2125-2125	Engine cooling system is a subclass of physical system
(subclass AutomobileExhaustSystem PhysicalSystem)	Cars.kif 2606-2606	Exhaust system is a subclass of physical system
(subclass AutomobileIgnitionSystem PhysicalSystem)	Cars.kif 3273-3273	Automobile ignition system is a subclass of physical system
(subclass TransitSystem PhysicalSystem)	Transportation.kif 3923-3923	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 6177-6177	The number 1 argument of sub system is an instance of physical system
(domain subSystem 2 PhysicalSystem)	Merge.kif 6178-6178	The number 2 argument of sub system is an instance of physical system
(domain systemPart 2 PhysicalSystem)	Merge.kif 6185-6185	The number 2 argument of system part is an instance of physical system
(domain dampingRatio 1 PhysicalSystem)	Cars.kif 795-795	The number 1 argument of damping ratio is an instance of physical system
(domain resonantFrequency 1 PhysicalSystem)	Cars.kif 828-828	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