Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhysicalSystem

Sigma KEE - PhysicalSystem
PhysicalSystem

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 AutoSuspensionSystemPhysicalSystemsubclass
(subclass Automobile PhysicalSystem) Cars.kif 826-826 AutomobilePhysicalSystemsubclass
(subclass AutomobileExhaustSystem PhysicalSystem) Cars.kif 2586-2586 AutomobileExhaustSystemPhysicalSystemsubclass
(subclass AutomobileIgnitionSystem PhysicalSystem) Cars.kif 3166-3166 AutomobileIgnitionSystemPhysicalSystemsubclass
(subclass BrakeSystem PhysicalSystem) Cars.kif 1234-1234 BrakeSystemPhysicalSystemsubclass
(subclass EngineCoolingSystem PhysicalSystem) Cars.kif 2121-2121 EngineCoolingSystemPhysicalSystemsubclass
(subclass HydraulicCylinder PhysicalSystem) Cars.kif 1593-1593 HydraulicCylinderPhysicalSystemsubclass
(subclass TransitSystem PhysicalSystem) Transportation.kif 2765-2765 TransitSystemPhysicalSystemsubclass
(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 数量 是 PhysicalSysteminstance
(domain resonantFrequency 1 PhysicalSystem) Cars.kif 818-818 resonantFrequency 的 1 数量 是 PhysicalSysteminstance
(domain subSystem 1 PhysicalSystem) Merge.kif 6262-6262 subSystem 的 1 数量 是 PhysicalSysteminstance
(domain subSystem 2 PhysicalSystem) Merge.kif 6263-6263 subSystem 的 2 数量 是 PhysicalSysteminstance
(domain systemPart 2 PhysicalSystem) Merge.kif 6272-6272 systemPart 的 2 数量 是 PhysicalSysteminstance

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners