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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EngineeringComponent
EngineeringComponent

appearance as argument number 1
-------------------------


(documentation EngineeringComponent ChineseLanguage "这是一个可以应用于多个工程领域的基本概念。 EngineeringComponent 是一件 Device 完整一体的元件，就像在商品目录上陈列的标准部件。 EngineeringComponent 和一团随意凑合的物质的主要区别在于，EngineeringComponent 是像模型的物件。 所以 EngineeringComponent 不是一个任意的分区，而是一个有稳定身份系统的一部分。") chinese_format.kif 3636-3639
(documentation EngineeringComponent EnglishLanguage "A fundamental concept that applies in many engineering domains. An EngineeringComponent is an element of a Device that is a physically whole object, such as one might see listed as standard parts in a catalog. The main difference betweeen EngineeringComponents and arbitrary globs of matter is that EngineeringComponents are object-like in a modeling sense. Thus, an EngineeringComponent is not an arbtrary subregion, but a part of a system with a stable identity.") Merge.kif 14741-14748
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ Splitter-bbae-eci.jpg") pictureList.kif 9189-9189 externalImage EngineeringComponent and "http://upload.wikimedia.org/wikipedia/commons/3/35/ Splitter-bbae-eci.jpg"
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Dampfturbine_Montage01.jpg") pictureList.kif 8473-8473 externalImage EngineeringComponent and "http://upload.wikimedia.org/wikipedia/commons/7/79/ Dampfturbine_Montage01.jpg"
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 5/ 55/ PCB_Thomson_Speedtouch_516i.jpg/ 800px-PCB_Thomson_Speedtouch_516i.jpg") pictureList.kif 9190-9190 externalImage EngineeringComponent and "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 55/ PCB_Thomson_Speedtouch_516i.jpg/ 800px-PCB_Thomson_Speedtouch_516i.jpg"
(subclass EngineeringComponent Device) Merge.kif 14740-14740 subclass EngineeringComponent and Device

appearance as argument number 2
-------------------------


(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 4242-4242 disjoint Furniture and EngineeringComponent
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 853-853 subclass システム管理コントローラ and EngineeringComponent
(subclass ArtificialSatellite EngineeringComponent) Communications.kif 113-113 subclass ArtificialSatellite and EngineeringComponent
(subclass BroadcastingStation EngineeringComponent) Communications.kif 288-288 subclass BroadcastingStation and EngineeringComponent
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1595-1595 subclass CartridgeCase and EngineeringComponent
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 3420-3420 subclass CommunicationDevice and EngineeringComponent
(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2520-2520 subclass ケーブル and EngineeringComponent
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 473-473 subclass ComputerHardware and EngineeringComponent
(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2391-2391 subclass プラグ and EngineeringComponent
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2364-2364 subclass ポート and EngineeringComponent
(subclass Controller EngineeringComponent) engineering.kif 1109-1109 subclass Controller and EngineeringComponent
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 2079-2079 subclass DriveComponent and EngineeringComponent
(subclass EngineeringConnection EngineeringComponent) Merge.kif 14800-14800 subclass EngineeringConnection and EngineeringComponent
(subclass FluidPowerDevice EngineeringComponent) engineering.kif 731-731 subclass FluidPowerDevice and EngineeringComponent
(subclass Flywheel EngineeringComponent) Cars.kif 2218-2218 subclass Flywheel and EngineeringComponent
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1611-1611 subclass GunBarrel and EngineeringComponent
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1811-1811 subclass GunStock and EngineeringComponent
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1742-1742 subclass GunTrigger and EngineeringComponent
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1851-1851 subclass Handle and EngineeringComponent
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 12952-12952 subclass Hinge and EngineeringComponent
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 2190-2190 subclass Manifold and EngineeringComponent
(subclass MechanicalDevice EngineeringComponent) engineering.kif 726-726 subclass MechanicalDevice and EngineeringComponent
(subclass MechanicalJoint EngineeringComponent) Cars.kif 1371-1371 subclass MechanicalJoint and EngineeringComponent
(subclass Radiator EngineeringComponent) Cars.kif 2178-2178 subclass Radiator and EngineeringComponent
(subclass Rotor EngineeringComponent) engineering.kif 773-773 subclass Rotor and EngineeringComponent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain connectedEngineeringComponents 1 EngineeringComponent) Merge.kif 14780-14780 domain connectedEngineeringComponents, 1 and EngineeringComponent
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 14781-14781 domain connectedEngineeringComponents, 2 and EngineeringComponent
(domain connectsEngineeringComponents 2 EngineeringComponent) Merge.kif 14838-14838 domain connectsEngineeringComponents, 2 and EngineeringComponent
(domain connectsEngineeringComponents 3 EngineeringComponent) Merge.kif 14839-14839 domain connectsEngineeringComponents, 3 and EngineeringComponent
(domain engineeringSubcomponent 1 EngineeringComponent) Merge.kif 14769-14769 domain engineeringSubcomponent, 1 and EngineeringComponent
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 14770-14770 domain engineeringSubcomponent, 2 and EngineeringComponent
(domainSubclass models 2 EngineeringComponent) engineering.kif 63-63 domainSubclass models, 2 and EngineeringComponent
(domainSubclass protocolForConnector 2 EngineeringComponent) ComputingBrands.kif 2668-2668 domainSubclass protocolForConnector, 2 and EngineeringComponent

antecedent
-------------------------


(=>
    (instance ?COMP EngineeringComponent)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Device)
            (component ?COMP ?DEVICE))))		 Merge.kif 14750-14755

consequent
-------------------------


(=>
    (instance ?CC ComputerCable)
    (exists (?C1 ?C2)
        (and
            (instance ?C1 EngineeringComponent)
            (instance ?C2 EngineeringComponent)
            (not
                (equal ?C1 ?C2))
            (part ?C1 ?CC)
            (part ?C2 ?CC))))		 ComputingBrands.kif 2549-2558
(=>
    (instance ?MACHINE Machine)
    (exists (?COMP1 ?COMP2)
        (and
            (instance ?COMP1 EngineeringComponent)
            (instance ?COMP2 EngineeringComponent)
            (not
                (equal ?COMP1 ?COMP2))
            (part ?COMP1 ?MACHINE)
            (part ?COMP2 ?MACHINE))))		 Merge.kif 14757-14765
(=>
    (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