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 16233-16240
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ Splitter_bbae_eci.jpg") pictureList.kif 9183-9183
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Dampfturbine_Montage01.jpg") pictureList.kif 8469-8469
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 5/ 55/ PCB_Thomson_Speedtouch_516i.jpg/ 800px_PCB_Thomson_Speedtouch_516i.jpg") pictureList.kif 9184-9184
(subclass EngineeringComponent Device) Merge.kif 16232-16232 エンジニアリング部品デバイスsubclass では

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


(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 4153-4153 Furnitureエンジニアリング部品disjoint では
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 962-962 システム管理コントローラエンジニアリング部品subclass では
(subclass ArtificialSatellite EngineeringComponent) Communications.kif 113-113 ArtificialSatelliteエンジニアリング部品subclass では
(subclass BroadcastingStation EngineeringComponent) Communications.kif 288-288 BroadcastingStationエンジニアリング部品subclass では
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1275-1275 CartridgeCaseエンジニアリング部品subclass では
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 3402-3402 CommunicationDeviceエンジニアリング部品subclass では
(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2706-2706 ケーブルエンジニアリング部品subclass では
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 596-596 ComputerHardwareエンジニアリング部品subclass では
(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2581-2581 プラグエンジニアリング部品subclass では
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2554-2554 ポートエンジニアリング部品subclass では
(subclass Controller EngineeringComponent) engineering.kif 1427-1427 Controllerエンジニアリング部品subclass では
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 2136-2136 DriveComponentエンジニアリング部品subclass では
(subclass EngineeringConnection EngineeringComponent) Merge.kif 16292-16292 エンジニアリング接続エンジニアリング部品subclass では
(subclass FluidCylinder EngineeringComponent) engineering.kif 1219-1219 FluidCylinderエンジニアリング部品subclass では
(subclass FluidPowerDevice EngineeringComponent) engineering.kif 736-736 FluidPowerDeviceエンジニアリング部品subclass では
(subclass Flywheel EngineeringComponent) Cars.kif 2216-2216 Flywheelエンジニアリング部品subclass では
(subclass Gear EngineeringComponent) engineering.kif 756-756 Gearエンジニアリング部品subclass では
(subclass GearTooth EngineeringComponent) engineering.kif 816-816 GearToothエンジニアリング部品subclass では
(subclass GearTrain EngineeringComponent) engineering.kif 887-887 GearTrainエンジニアリング部品subclass では
(subclass Gearbox EngineeringComponent) engineering.kif 892-892 Gearboxエンジニアリング部品subclass では
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1290-1290 GunBarrelエンジニアリング部品subclass では
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1655-1655 GunStockエンジニアリング部品subclass では
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1578-1578 GunTriggerエンジニアリング部品subclass では
(subclass Gunstock EngineeringComponent) Mid-level-ontology.kif 1401-1401 Gunstockエンジニアリング部品subclass では
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1671-1671 Handleエンジニアリング部品subclass では

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 16272-16272 connectedEngineeringComponents の数値 1 引数は エンジニアリング部品instance では
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 16273-16273 connectedEngineeringComponents の数値 2 引数は エンジニアリング部品instance では
(domain connectsEngineeringComponents 2 EngineeringComponent) Merge.kif 16335-16335 connectsEngineeringComponents の数値 2 引数は エンジニアリング部品instance では
(domain connectsEngineeringComponents 3 EngineeringComponent) Merge.kif 16336-16336 connectsEngineeringComponents の数値 3 引数は エンジニアリング部品instance では
(domain engineeringSubcomponent 1 EngineeringComponent) Merge.kif 16261-16261 engineeringSubcomponent の数値 1 引数は エンジニアリング部品instance では
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 16262-16262 engineeringSubcomponent の数値 2 引数は エンジニアリング部品instance では
(domainSubclass models 2 EngineeringComponent) engineering.kif 63-63 models の数値 2 引数は エンジニアリング部品subclass では
(domainSubclass protocolForConnector 2 EngineeringComponent) ComputingBrands.kif 2854-2854 protocolForConnector の数値 2 引数は エンジニアリング部品subclass では

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


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

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 2735-2744
(=>
    (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 16249-16257
(=>
    (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


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 3.0 is open source software produced by Articulate Software and its partners