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 16057-16064
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ Splitter-bbae-eci.jpg") pictureList.kif 9184-9184
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Dampfturbine_Montage01.jpg") pictureList.kif 8470-8470
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 5/ 55/ PCB_Thomson_Speedtouch_516i.jpg/ 800px-PCB_Thomson_Speedtouch_516i.jpg") pictureList.kif 9185-9185
(subclass EngineeringComponent Device) Merge.kif 16056-16056 エンジニアリング部品 は デバイス の subclass では %n

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


(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 3710-3710 Furniture と エンジニアリング部品 は disjoint では %n
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 962-962 システム管理コントローラ は エンジニアリング部品 の subclass では %n
(subclass ArtificialSatellite EngineeringComponent) Communications.kif 113-113 ArtificialSatellite は エンジニアリング部品 の subclass では %n
(subclass BroadcastingStation EngineeringComponent) Communications.kif 288-288 BroadcastingStation は エンジニアリング部品 の subclass では %n
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1209-1209 CartridgeCase は エンジニアリング部品 の subclass では %n
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 2939-2939 CommunicationDevice は エンジニアリング部品 の subclass では %n
(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2706-2706 ケーブル は エンジニアリング部品 の subclass では %n
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 596-596 ComputerHardware は エンジニアリング部品 の subclass では %n
(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2581-2581 プラグ は エンジニアリング部品 の subclass では %n
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2554-2554 ポート は エンジニアリング部品 の subclass では %n
(subclass Controller EngineeringComponent) engineering.kif 1114-1114 Controller は エンジニアリング部品 の subclass では %n
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 1673-1673 DriveComponent は エンジニアリング部品 の subclass では %n
(subclass EngineeringConnection EngineeringComponent) Merge.kif 16116-16116 エンジニアリング接続 は エンジニアリング部品 の subclass では %n
(subclass FluidCylinder EngineeringComponent) engineering.kif 906-906 FluidCylinder は エンジニアリング部品 の subclass では %n
(subclass FluidPowerDevice EngineeringComponent) engineering.kif 737-737 FluidPowerDevice は エンジニアリング部品 の subclass では %n
(subclass Flywheel EngineeringComponent) Cars.kif 2232-2232 Flywheel は エンジニアリング部品 の subclass では %n
(subclass Gear EngineeringComponent) engineering.kif 757-757 Gear は エンジニアリング部品 の subclass では %n
(subclass GearTrain EngineeringComponent) engineering.kif 762-762 GearTrain は エンジニアリング部品 の subclass では %n
(subclass Gearbox EngineeringComponent) engineering.kif 767-767 Gearbox は エンジニアリング部品 の subclass では %n
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1224-1224 GunBarrel は エンジニアリング部品 の subclass では %n
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1438-1438 GunStock は エンジニアリング部品 の subclass では %n
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1361-1361 GunTrigger は エンジニアリング部品 の subclass では %n
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1454-1454 Handle は エンジニアリング部品 の subclass では %n
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 15272-15272 Hinge は エンジニアリング部品 の subclass では %n
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 1775-1775 Manifold は エンジニアリング部品 の subclass では %n

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 16096-16096 connectedEngineeringComponents の数値 1 引数は エンジニアリング部品 の instance では %n
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 16097-16097 connectedEngineeringComponents の数値 2 引数は エンジニアリング部品 の instance では %n
(domain connectsEngineeringComponents 2 EngineeringComponent) Merge.kif 16160-16160 connectsEngineeringComponents の数値 2 引数は エンジニアリング部品 の instance では %n
(domain connectsEngineeringComponents 3 EngineeringComponent) Merge.kif 16161-16161 connectsEngineeringComponents の数値 3 引数は エンジニアリング部品 の instance では %n
(domain engineeringSubcomponent 1 EngineeringComponent) Merge.kif 16085-16085 engineeringSubcomponent の数値 1 引数は エンジニアリング部品 の instance では %n
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 16086-16086 engineeringSubcomponent の数値 2 引数は エンジニアリング部品 の instance では %n
(domainSubclass models 2 EngineeringComponent) engineering.kif 64-64 models の数値 2 引数は エンジニアリング部品 のsubclass では %n
(domainSubclass protocolForConnector 2 EngineeringComponent) ComputingBrands.kif 2854-2854 protocolForConnector の数値 2 引数は エンジニアリング部品 のsubclass では %n

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


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

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 16073-16081
(=>
    (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