PhysicalSystem - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PhysicalSystem ChineseLanguage "PhysicalSystem 是一类复杂的 Physical 物体，一个 PhysicalSystem 可以有一个或一个以上的对应抽象 Graph 的代表。")	chinese_format.kif 2385-2386
(documentation PhysicalSystem EnglishLanguage "PhysicalSystem is the class of complex Physical things. A PhysicalSystem may have one or more corresponding abstract Graph representations.")	Merge.kif 6173-6175
(documentation PhysicalSystem JapaneseLanguage "PhysicalSystem は、複雑な Physical のクラスである。　PhysicalSystem は、1つ以上の対応する抽象 Graph 表現があるかもしれない。")	japanese_format.kif 1065-1066
(externalImage PhysicalSystem "http://upload.wikimedia.org/wikipedia/en/ 7/ 7c/ Physical_systems.gif")	pictureList.kif 6765-6765
(subclass PhysicalSystem Physical)	Merge.kif 6171-6171	PhysicalSystem is a subclass of physical

appearance as argument number 2

(subclass AutoSuspensionSystem PhysicalSystem)	Cars.kif 717-717	AutoSuspensionSystem is a subclass of PhysicalSystem
(subclass Automobile PhysicalSystem)	Cars.kif 836-836	Automobile is a subclass of PhysicalSystem
(subclass AutomobileExhaustSystem PhysicalSystem)	Cars.kif 2589-2589	AutomobileExhaustSystem is a subclass of PhysicalSystem
(subclass AutomobileIgnitionSystem PhysicalSystem)	Cars.kif 3256-3256	AutomobileIgnitionSystem is a subclass of PhysicalSystem
(subclass BrakeSystem PhysicalSystem)	Cars.kif 1230-1230	BrakeSystem is a subclass of PhysicalSystem
(subclass EngineCoolingSystem PhysicalSystem)	Cars.kif 2119-2119	EngineCoolingSystem is a subclass of PhysicalSystem
(subclass HydraulicCylinder PhysicalSystem)	Cars.kif 1604-1604	HydraulicCylinder is a subclass of PhysicalSystem
(subclass TransitSystem PhysicalSystem)	Transportation.kif 3418-3418	TransitSystem is a subclass of PhysicalSystem
(termFormat ChineseLanguage PhysicalSystem "物理系统")	domainEnglishFormat.kif 45739-45739	TransitSystem is a subclass of PhysicalSystem
(termFormat ChineseTraditionalLanguage PhysicalSystem "物理系統")	domainEnglishFormat.kif 45738-45738	TransitSystem is a subclass of PhysicalSystem
(termFormat EnglishLanguage PhysicalSystem "physical system")	domainEnglishFormat.kif 45737-45737	TransitSystem is a subclass of PhysicalSystem

appearance as argument number 3

(domain dampingRatio 1 PhysicalSystem)	Cars.kif 795-795	The number 1 argument of dampingRatio is an instance of PhysicalSystem
(domain resonantFrequency 1 PhysicalSystem)	Cars.kif 828-828	The number 1 argument of resonantFrequency is an instance of PhysicalSystem
(domain subSystem 1 PhysicalSystem)	Merge.kif 6178-6178	The number 1 argument of subSystem is an instance of PhysicalSystem
(domain subSystem 2 PhysicalSystem)	Merge.kif 6179-6179	The number 2 argument of subSystem is an instance of PhysicalSystem
(domain systemPart 2 PhysicalSystem)	Merge.kif 6186-6186	The number 2 argument of systemPart is an instance of PhysicalSystem

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)))))

Cars.kif 1381-1397