TreeView Knowledge Base Browser

appearance as argument number 1

(documentation PhysicalSystem ChineseLanguage "PhysicalSystem 是一类复杂的 Physical 物体，一个 PhysicalSystem 可以有一个或一个以上的对应抽象 Graph 的代表。")	Merge.kif 6258-6259
(documentation PhysicalSystem EnglishLanguage "PhysicalSystem is the class of complex Physical things. A PhysicalSystem may have one or more corresponding abstract Graph representations.")	Merge.kif 6255-6257
(externalImage PhysicalSystem "http://upload.wikimedia.org/wikipedia/en/ 7/ 7c/ Physical_systems.gif")	pictureList.kif 6767-6767	externalImage PhysicalSystem and "http://upload.wikimedia.org/wikipedia/en/7/7c/Physical_systems.gif"
(subclass PhysicalSystem Physical)	Merge.kif 6254-6254	PhysicalSystem 是物理的 subclass

appearance as argument number 2

(subclass AutoSuspensionSystem PhysicalSystem)	Cars.kif 717-717	AutoSuspensionSystem 是 PhysicalSystem 的 subclass
(subclass Automobile PhysicalSystem)	Cars.kif 826-826	Automobile 是 PhysicalSystem 的 subclass
(subclass AutomobileExhaustSystem PhysicalSystem)	Cars.kif 2586-2586	AutomobileExhaustSystem 是 PhysicalSystem 的 subclass
(subclass AutomobileIgnitionSystem PhysicalSystem)	Cars.kif 3166-3166	AutomobileIgnitionSystem 是 PhysicalSystem 的 subclass
(subclass BrakeSystem PhysicalSystem)	Cars.kif 1234-1234	BrakeSystem 是 PhysicalSystem 的 subclass
(subclass EngineCoolingSystem PhysicalSystem)	Cars.kif 2121-2121	EngineCoolingSystem 是 PhysicalSystem 的 subclass
(subclass HydraulicCylinder PhysicalSystem)	Cars.kif 1593-1593	HydraulicCylinder 是 PhysicalSystem 的 subclass
(subclass TransitSystem PhysicalSystem)	Transportation.kif 2765-2765	TransitSystem 是 PhysicalSystem 的 subclass
(termFormat EnglishLanguage PhysicalSystem "physical system")	domainEnglishFormat.kif 8044-8044	termFormat EnglishLanguage, PhysicalSystem and "physical system"

appearance as argument number 3

(domain dampingRatio 1 PhysicalSystem)	Cars.kif 788-788	dampingRatio 的 1 数量是 PhysicalSystem 的 instance
(domain resonantFrequency 1 PhysicalSystem)	Cars.kif 818-818	resonantFrequency 的 1 数量是 PhysicalSystem 的 instance
(domain subSystem 1 PhysicalSystem)	Merge.kif 6262-6262	subSystem 的 1 数量是 PhysicalSystem 的 instance
(domain subSystem 2 PhysicalSystem)	Merge.kif 6263-6263	subSystem 的 2 数量是 PhysicalSystem 的 instance
(domain systemPart 2 PhysicalSystem)	Merge.kif 6272-6272	systemPart 的 2 数量是 PhysicalSystem 的 instance

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 1376-1392