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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PhysicalSystem
PhysicalSystem(physical system)
physical_system, system

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 "http://upload.wikimedia.org/wikipedia/en/7/7c/Physical_systems.gif" is a URL depicting physical system
(subclass PhysicalSystem Physical) Merge.kif 6254-6254 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 826-826 Automobile is a subclass of physical system
(subclass AutomobileExhaustSystem PhysicalSystem) Cars.kif 2586-2586 Exhaust system is a subclass of physical system
(subclass AutomobileIgnitionSystem PhysicalSystem) Cars.kif 3166-3166 Automobile ignition system is a subclass of physical system
(subclass BrakeSystem PhysicalSystem) Cars.kif 1234-1234 Brake system is a subclass of physical system
(subclass EngineCoolingSystem PhysicalSystem) Cars.kif 2121-2121 Engine cooling system is a subclass of physical system
(subclass HydraulicCylinder PhysicalSystem) Cars.kif 1593-1593 Hydraulic cylinder is a subclass of physical system
(subclass TransitSystem PhysicalSystem) Transportation.kif 2765-2765 Transit system is a subclass of physical system
(termFormat EnglishLanguage PhysicalSystem "physical system") domainEnglishFormat.kif 8044-8044 "physical system" is the printable form of physical system in english language

appearance as argument number 3
-------------------------


(domain dampingRatio 1 PhysicalSystem) Cars.kif 788-788 The number 1 argument of dampingRatio is an instance of physical system
(domain resonantFrequency 1 PhysicalSystem) Cars.kif 818-818 The number 1 argument of resonantFrequency is an instance of physical system
(domain subSystem 1 PhysicalSystem) Merge.kif 6262-6262 The number 1 argument of sub system is an instance of physical system
(domain subSystem 2 PhysicalSystem) Merge.kif 6263-6263 The number 2 argument of sub system is an instance of physical system
(domain systemPart 2 PhysicalSystem) Merge.kif 6272-6272 The number 2 argument of system part 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)))))
Cars.kif 1376-1392


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



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