TreeView Knowledge Base Browser - 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	EngineeringComponent ist eine teilkategorie von Device

appearance as argument number 2

(disjoint Furniture EngineeringComponent)	Mid-level-ontology.kif 3710-3710	Furniture ist dijunkt von EngineeringComponent %n{nicht}
(subclass AppleSystemManagementController EngineeringComponent)	ComputingBrands.kif 962-962	AppleSystemManagementController ist eine teilkategorie von EngineeringComponent
(subclass ArtificialSatellite EngineeringComponent)	Communications.kif 113-113	ArtificialSatellite ist eine teilkategorie von EngineeringComponent
(subclass BroadcastingStation EngineeringComponent)	Communications.kif 288-288	BroadcastingStation ist eine teilkategorie von EngineeringComponent
(subclass CartridgeCase EngineeringComponent)	Mid-level-ontology.kif 1209-1209	CartridgeCase ist eine teilkategorie von EngineeringComponent
(subclass CommunicationDevice EngineeringComponent)	Mid-level-ontology.kif 2939-2939	CommunicationDevice ist eine teilkategorie von EngineeringComponent
(subclass ComputerCable EngineeringComponent)	ComputingBrands.kif 2706-2706	ComputerCable ist eine teilkategorie von EngineeringComponent
(subclass ComputerHardware EngineeringComponent)	ComputerInput.kif 596-596	ComputerHardware ist eine teilkategorie von EngineeringComponent
(subclass ComputerPlug EngineeringComponent)	ComputingBrands.kif 2581-2581	ComputerPlug ist eine teilkategorie von EngineeringComponent
(subclass ComputerPort EngineeringComponent)	ComputingBrands.kif 2554-2554	ComputerPort ist eine teilkategorie von EngineeringComponent
(subclass Controller EngineeringComponent)	engineering.kif 1114-1114	Controller ist eine teilkategorie von EngineeringComponent
(subclass DriveComponent EngineeringComponent)	Mid-level-ontology.kif 1673-1673	DriveComponent ist eine teilkategorie von EngineeringComponent
(subclass EngineeringConnection EngineeringComponent)	Merge.kif 16116-16116	EngineeringConnection ist eine teilkategorie von EngineeringComponent
(subclass FluidCylinder EngineeringComponent)	engineering.kif 906-906	FluidCylinder ist eine teilkategorie von EngineeringComponent
(subclass FluidPowerDevice EngineeringComponent)	engineering.kif 737-737	FluidPowerDevice ist eine teilkategorie von EngineeringComponent
(subclass Flywheel EngineeringComponent)	Cars.kif 2232-2232	Flywheel ist eine teilkategorie von EngineeringComponent
(subclass Gear EngineeringComponent)	engineering.kif 757-757	Gear ist eine teilkategorie von EngineeringComponent
(subclass GearTrain EngineeringComponent)	engineering.kif 762-762	GearTrain ist eine teilkategorie von EngineeringComponent
(subclass Gearbox EngineeringComponent)	engineering.kif 767-767	Gearbox ist eine teilkategorie von EngineeringComponent
(subclass GunBarrel EngineeringComponent)	Mid-level-ontology.kif 1224-1224	GunBarrel ist eine teilkategorie von EngineeringComponent
(subclass GunStock EngineeringComponent)	Mid-level-ontology.kif 1438-1438	GunStock ist eine teilkategorie von EngineeringComponent
(subclass GunTrigger EngineeringComponent)	Mid-level-ontology.kif 1361-1361	GunTrigger ist eine teilkategorie von EngineeringComponent
(subclass Handle EngineeringComponent)	Mid-level-ontology.kif 1454-1454	Handle ist eine teilkategorie von EngineeringComponent
(subclass Hinge EngineeringComponent)	Mid-level-ontology.kif 15272-15272	Hinge ist eine teilkategorie von EngineeringComponent
(subclass Manifold EngineeringComponent)	Mid-level-ontology.kif 1775-1775	Manifold ist eine teilkategorie von 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 16096-16096	Die Zahl 1 Argument von connectedEngineeringComponents ist ein fall von EngineeringComponent %n{nicht}
(domain connectedEngineeringComponents 2 EngineeringComponent)	Merge.kif 16097-16097	Die Zahl 2 Argument von connectedEngineeringComponents ist ein fall von EngineeringComponent %n{nicht}
(domain connectsEngineeringComponents 2 EngineeringComponent)	Merge.kif 16160-16160	Die Zahl 2 Argument von connectsEngineeringComponents ist ein fall von EngineeringComponent %n{nicht}
(domain connectsEngineeringComponents 3 EngineeringComponent)	Merge.kif 16161-16161	Die Zahl 3 Argument von connectsEngineeringComponents ist ein fall von EngineeringComponent %n{nicht}
(domain engineeringSubcomponent 1 EngineeringComponent)	Merge.kif 16085-16085	Die Zahl 1 Argument von engineeringSubcomponent ist ein fall von EngineeringComponent %n{nicht}
(domain engineeringSubcomponent 2 EngineeringComponent)	Merge.kif 16086-16086	Die Zahl 2 Argument von engineeringSubcomponent ist ein fall von EngineeringComponent %n{nicht}
(domainSubclass models 2 EngineeringComponent)	engineering.kif 64-64	Die Zahl 2 Argument von models ist eine teilkategorie von EngineeringComponent %n{nicht}
(domainSubclass protocolForConnector 2 EngineeringComponent)	ComputingBrands.kif 2854-2854	Die Zahl 2 Argument von protocolForConnector ist eine teilkategorie von EngineeringComponent %n{nicht}

antecedent

(=>
    (instance ?COMP EngineeringComponent)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Device)
            (component ?COMP ?DEVICE))))

Merge.kif 16066-16071

Wenn CorpuscularObject ist ein fall von EngineeringComponent %n{nicht},
dann es gibt ** CorpuscularObject um ** ** CorpuscularObject ist ein fall von Device %n{nicht} und ** CorpuscularObject ist ein bestandteil von ** ** CorpuscularObject %n{nicht}

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	Wenn Object ist ein fall von ComputerCable %n{nicht}, dann es gibt Object und Object um Object ist ein fall von EngineeringComponent %n{nicht} und Object ist ein fall von EngineeringComponent %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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	Wenn Object ist ein fall von Machine %n{nicht}, dann es gibt Object und Object um Object ist ein fall von EngineeringComponent %n{nicht} und Object ist ein fall von EngineeringComponent %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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	Wenn Physical ist ein fall von MechanicalJoint %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Motion %n{nicht} und entity ist ein fall von PhysicalSystem %n{nicht} und entity ist ein fall von EngineeringComponent %n{nicht} und entity ist ein fall von EngineeringComponent %n{nicht} und entity ist ein teil von PhysicalSystem %n{nicht} und Physical ist ein teil von PhysicalSystem %n{nicht} und entity ist ein teil von PhysicalSystem %n{nicht} und entity ist ein patient von entity nicht und entity ist ein patient von entity %n{nicht} und entity wird mit Physical angeschlossen und entity wird mit Physical angeschlossen %n{nicht}

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

KB Term:			Term intersection

English Word: