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


KB Term:  Term intersection
English Word: 

Sigma KEE - connectedEngineeringComponents
connectedEngineeringComponents

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


(instance connectedEngineeringComponents SymmetricRelation) Merge.kif 16449-16449 connected engineering components is an instance of symmetric relation
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 16450-16450 connected engineering components is an instance of irreflexive relation
(instance connectedEngineeringComponents PartialValuedRelation) Merge.kif 16451-16451 connected engineering components is an instance of partial valued relation
(subrelation connectedEngineeringComponents connected) Merge.kif 16452-16452 connected engineering components is a subrelation of connected
(domain connectedEngineeringComponents 1 EngineeringComponent) Merge.kif 16453-16453 The number 1 argument of connected engineering components is an instance of engineering component
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 16454-16454 The number 2 argument of connected engineering components is an instance of engineering component
(documentation connectedEngineeringComponents EnglishLanguage "This is the most general connection relation between EngineeringComponents. If (connectedEngineeringComponents ?COMP1 ?COMP2), then neither ?COMP1 nor ?COMP2 can be an engineeringSubcomponent of the other. The relation connectedEngineeringComponents is a SymmetricRelation, there is no information in the direction of connection between two components. It is also an IrreflexiveRelation, no EngineeringComponent bears this relation to itself. Note that this relation does not associate a name or type with the connection.") Merge.kif 16455-16463 The number 2 argument of connected engineering components is an instance of engineering component

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


(termFormat EnglishLanguage connectedEngineeringComponents "connected engineering components") domainEnglishFormat.kif 16650-16650
(termFormat ChineseTraditionalLanguage connectedEngineeringComponents "連接的工程組件") domainEnglishFormat.kif 16651-16651
(termFormat ChineseLanguage connectedEngineeringComponents "连接的工程组件") domainEnglishFormat.kif 16652-16652
(format EnglishLanguage connectedEngineeringComponents "%1 is %n connected to %2") english_format.kif 546-546

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


(=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (and
        (not
            (engineeringSubcomponent ?COMP1 ?COMP2))
        (not
            (engineeringSubcomponent ?COMP2 ?COMP1))))		 Merge.kif 16465-16471 If X is connected to Y, then X is not a component of Y and Y is not a component of X
(=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (not
        (or
            (instance ?COMP1 EngineeringConnection)
            (instance ?COMP2 EngineeringConnection))))		 Merge.kif 16497-16502 If X is connected to Y, then ~{ X is an instance of engineering connection } and ~{ Y is an instance of engineering connection }
(=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (exists (?CONNECTION)
        (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))		 Merge.kif 16504-16507 If X is connected to Y, then there exists Z such that Z connects X and Y
(=>
    (and
        (instance ?PLUG ElectricalPlug)
        (instance ?DEVICE ElectricDevice)
        (instance ?OUTLET ElectricalOutlet)
        (connectedEngineeringComponents ?DEVICE ?PLUG)
        (completelyFills ?PLUG ?OUTLET)
        (instance ?POWER PowerSource)
        (connectedEngineeringComponents ?POWER ?OUTLET))
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?POWER)
            (destination ?RE ?DEVICE))))		 Mid-level-ontology.kif 28519-28532 If All of the following hold: (1) X is an instance of electrical plug (2) Y is an instance of electric device (3) Z is an instance of electrical outlet (4) Y is connected to X (5) X completely fills Z (6) W is an instance of power source (7) W is connected to Z, then there exists V such that V is an instance of radiating electromagnetic, V originates at W, and V ends up at Y
(=>
    (and
        (instance ?SH1 Shaft)
        (instance ?SH2 Shaft)
        (not
            (equal ?SH1 ?SH2))
        (instance ?R1 Rotating)
        (patient ?R1 ?SH1)
        (instance ?R2 Rotating)
        (patient ?R2 ?SH2)
        (causes ?R1 ?R2)
        (equal
            (WhenFn ?R1)
            (WhenFn ?R2))
        (instance ?CV CVJoint)
        (connectedEngineeringComponents ?SH1 ?CV)
        (connectedEngineeringComponents ?SH2 ?CV)
        (holdsDuring
            (WhenFn ?R1)
            (equal
                (MeasureFn ?N RevolutionsPerMinute)
                (RotationFn ?R1))))
    (holdsDuring
        (WhenFn ?R2)
        (equal
            (MeasureFn ?N RevolutionsPerMinute)
            (RotationFn ?R2))))		 Cars.kif 1958-1984 If All of the following hold: (1) X is an instance of shaft (2) Y is an instance of shaft (3) equal X and Y (4) Z is an instance of rotating (5) X is a patient of Z (6) W is an instance of rotating (7) Y is a patient of W (8) Z causes W (9) equal the time of existence of Z and the time of existence of W (10) V is an instance of C.V. joint (11) X is connected to V (12) Y is connected to V (13) equal U revolutions per minute(s) and the rotation of Z during holds during the time of existence of Z, then equal U revolutions per minute(s) and the rotation of W during holds during the time of existence of W
(=>
    (and
        (instance ?AT AutomobileTransmission)
        (instance ?C Crankshaft)
        (instance ?D Driveshaft)
        (instance ?A Automobile)
        (part ?D ?A)
        (part ?AT ?A)
        (part ?C ?A)
        (connectedEngineeringComponents ?C ?AT)
        (connectedEngineeringComponents ?D ?AT)
        (instance ?G1 Gear)
        (instance ?G2 Gear)
        (part ?G1 ?AT)
        (part ?G2 ?AT)
        (instance ?CR1 Rotating)
        (instance ?CR2 Rotating)
        (instance ?GR1 Rotating)
        (instance ?GR2 Rotating)
        (instance ?DR1 Rotating)
        (instance ?DR2 Rotating)
        (moves ?CR1 ?C)
        (moves ?CR2 ?C)
        (moves ?GR1 ?G1)
        (moves ?GR2 ?G2)
        (moves ?DR1 ?D)
        (moves ?DR2 ?D)
        (causes ?CR1 ?GR1)
        (causes ?GR1 ?DR1)
        (causes ?CR2 ?GR2)
        (causes ?GR2 ?DR2)
        (not
            (equal ?CR1 ?CR2))
        (not
            (equal ?G1 ?G2))
        (equal
            (MeasureFn ?NR1 RevolutionsPerMinute)
            (RotationFn ?CR1))
        (equal
            (MeasureFn ?NR2 RevolutionsPerMinute)
            (RotationFn ?CR2))
        (equal
            (MeasureFn ?ND1 RevolutionsPerMinute)
            (RotationFn ?DR1))
        (equal
            (MeasureFn ?ND2 RevolutionsPerMinute)
            (RotationFn ?DR2))
        (equal ?NR1 ?NR2))
    (not
        (equal ?ND1 ?ND2)))		 Cars.kif 2195-2236 If All of the following hold: (1) X is an instance of transmission (2) Y is an instance of crankshaft (3) Z is an instance of driveshaft (4) W is an instance of automobile (5) Z is a part of W (6) X is a part of W (7) Y is a part of W (8) Y is connected to X (9) Z is connected to X (10) V is an instance of gear (11) U is an instance of gear (12) V is a part of X (13) U is a part of X (14) T is an instance of rotating (15) S is an instance of rotating (16) R is an instance of rotating (17) Q is an instance of rotating (18) P is an instance of rotating (19) O is an instance of rotating (20) Y moves during T (21) Y moves during S (22) V moves during R (23) U moves during Q (24) Z moves during P (25) Z moves during O (26) T causes R (27) R causes P (28) S causes Q (29) Q causes O (30) equal T and S (31) equal V and U (32) equal N revolutions per minute(s) and the rotation of T during (33) equal M revolutions per minute(s) and the rotation of S during (34) equal L revolutions per minute(s) and the rotation of P during (35) equal K revolutions per minute(s) and the rotation of O during (36) equal N and M, then equal L and K
(=>
    (and
        (instance ?G SpeedGovernor)
        (governorSpeed ?V
            (MeasureFn ?S MilesPerHour))
        (connectedEngineeringComponents ?G ?V))
    (hasPurpose ?G
        (not
            (exists (?SP2)
                (and
                    (measure ?V
                        (MeasureFn ?SP2 MilesPerHour))
                    (greaterThan ?SP2 ?S))))))		 Cars.kif 2747-2759 If X is an instance of governor, the maximum speed allowed by Y is Z miles per hour(s), and X is connected to Y, then X has the purpose there doesn't exist W such that the measure of Y is W miles per hour(s) and W is greater than Z
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?E Engine)
        (connectedEngineeringComponents ?EG ?E)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?R ?P ?M)
                (and
                    (instance ?P Device)
                    (part ?P ?E)
                    (instance ?R Rotating)
                    (holdsDuring
                        (WhenFn ?R)
                        (and
                            (measure ?P
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2768-2786 If X is an instance of governor, Y is an instance of engine, X is connected to Y, and the maximum speed allowed by Y is Z miles per hour(s), then X has the purpose there don't exist W, V and U such that V is an instance of device and V is a part of Y and W is an instance of rotating and the measure of V is U miles per hour(s) and U is greater than Z holds during the time of existence of W
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?V Vehicle)
        (connectedEngineeringComponents ?EG ?V)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?T ?M)
                (and
                    (instance ?T Translocation)
                    (holdsDuring
                        (WhenFn ?T)
                        (and
                            (measure ?V
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2795-2811 If X is an instance of governor, Y is an instance of vehicle, X is connected to Y, and the maximum speed allowed by Z is W miles per hour(s), then X has the purpose there don't exist V and U such that V is an instance of translocation and the measure of Y is U miles per hour(s) and U is greater than W holds during the time of existence of V
(=>
    (and
        (holdsDuring ?T
            (attribute ?X Booting))
        (holdsDuring ?T2
            (attribute ?X HostReady))
        (equal ?T2
            (ImmediateFutureFn
                (WhenFn ?T)))
        (instance ?DIS ComputerDisplay)
        (connectedEngineeringComponents ?DIS ?X))
    (modalAttribute
        (exists (?HS)
            (and
                (instance ?HS HomeScreen)
                (displayedUpon ?HS ?DIS))) Likely))		 ComputingBrands.kif 3138-3152 If booting up is an attribute of X holds during Y, host ready is an attribute of X holds during Z, equal Z and immediately after the time of existence of Y, W is an instance of computer display, and W is connected to X, then the statement there exists V such that V is an instance of home screen and V is displayed on W has the modal force of likely

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


(=>
    (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)
    (connectedEngineeringComponents ?COMP1 ?COMP2))		 Merge.kif 16509-16511 If X connects Y and Z, then Y is connected to Z
(=>
    (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)))))		 Mid-level-ontology.kif 16867-16883 If X is an instance of mechanical joint, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that V is an instance of motion (3) Y is an instance of physical system (4) Z is an instance of engineering component (5) W is an instance of engineering component (6) Z is a part of physical system (7) X is a part of physical system (8) W is a part of physical system (9) Z is not a patient of V (10) W is a patient of V (11) Z is connected to X (12) W is connected to X
(=>
    (and
        (instance ?C Cam)
        (instance ?CS Camshaft)
        (instance ?E Engine)
        (part ?C ?E)
        (part ?CS ?E))
    (hasPurpose ?CS
        (connectedEngineeringComponents ?C ?CS)))		 Cars.kif 1546-1554 If X is an instance of cam, Y is an instance of camshaft, Z is an instance of engine, X is a part of Z, and Y is a part of Z, then Y has the purpose X is connected to Y
(=>
    (instance ?ECR EngineConnectingRod)
    (hasPurpose ?ECR
        (exists (?P ?C)
            (and
                (instance ?P Piston)
                (instance ?C Crankshaft)
                (connectedEngineeringComponents ?P ?ECR)
                (connectedEngineeringComponents ?C ?ECR)))))		 Cars.kif 1836-1844 If X is an instance of engine connecting rod, then X has the purpose there exist Y, Z such that Y is an instance of piston, Z is an instance of crankshaft, Y is connected to X, and Z is connected to X
(=>
    (instance ?P Pulley)
    (hasPurpose ?P
        (exists (?P2 ?D ?R1 ?R2)
            (and
                (instance ?P2 Pulley)
                (not
                    (equal ?P ?P2))
                (instance ?D Drivebelt)
                (instance ?R1 Rotating)
                (instance ?R2 Rotating)
                (connectedEngineeringComponents ?P ?D)
                (connectedEngineeringComponents ?P2 ?D)
                (patient ?R1 ?P)
                (patient ?R2 ?P2)
                (causes ?R1 ?R2)))))		 Cars.kif 2142-2157 If X is an instance of pulley, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of pulley (3) equal X (4) Y (5) Z is an instance of drivebelt (6) W is an instance of rotating (7) V is an instance of rotating (8) X is connected to Z (9) Y is connected to Z (10) X is a patient of W (11) Y is a patient of V (12) W causes V
(=>
    (instance ?EV ExhaustValve)
    (hasPurpose ?EV
        (exists (?EM)
            (and
                (instance ?EM ExhaustManifold)
                (connectedEngineeringComponents ?EV ?EM)))))		 Cars.kif 2513-2519 If X is an instance of exhaust valve, then X has the purpose there exists Y such that Y is an instance of exhaust manifold and X is connected to Y
(=>
    (instance ?FB FanBelt)
    (hasPurpose ?FB
        (exists (?P1 ?P2 ?C ?A)
            (and
                (instance ?P1 Pulley)
                (instance ?P2 Pulley)
                (not
                    (equal ?P1 ?P2))
                (instance ?C Crankshaft)
                (instance ?A Automobile)
                (part ?P1 ?A)
                (part ?P2 ?A)
                (part ?C ?A)
                (part ?FB ?A)
                (connectedEngineeringComponents ?C ?P1)
                (connectedEngineeringComponents ?P1 ?FB)
                (connectedEngineeringComponents ?FB ?P2)))))		 Cars.kif 2549-2566 If X is an instance of fan belt, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of pulley (3) Z is an instance of pulley (4) equal Y (5) Z (6) W is an instance of crankshaft (7) V is an instance of automobile (8) Y is a part of V (9) Z is a part of V (10) W is a part of V (11) X is a part of V (12) W is connected to Y (13) Y is connected to X (14) X is connected to Z
(=>
    (instance ?JC JumperCable)
    (exists (?C1 ?C2 ?W)
        (and
            (instance ?C1 Clamp)
            (instance ?C2 Clamp)
            (instance ?W Wire)
            (part ?C1 ?JC)
            (part ?C2 ?JC)
            (part ?W ?JC)
            (connectedEngineeringComponents ?C1 ?W)
            (connectedEngineeringComponents ?C2 ?W)
            (not
                (equal ?C1 ?C2)))))		 Cars.kif 3104-3116 If X is an instance of jumper cable, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of clamp (3) Z is an instance of clamp (4) W is an instance of wire (5) Y is a part of X (6) Z is a part of X (7) W is a part of X (8) Y is connected to W (9) Z is connected to W (10) equal Y (11) Z
(=>
    (instance ?EMS EngineMAPSensor)
    (hasPurpose ?EMS
        (exists (?ECM ?A)
            (and
                (instance ?ECM EngineControlModule)
                (instance ?A Automobile)
                (part ?EMS ?A)
                (part ?ECM ?A)
                (connectedEngineeringComponents ?EMS ?ECM)))))		 Cars.kif 3176-3185 If X is an instance of manifold absolute pressure sensor, then X has the purpose there exist Y, Z such that Y is an instance of engine control module, Z is an instance of automobile, X is a part of Z, Y is a part of Z, and X is connected to Y
(=>
    (instance ?SB SteeringBox)
    (hasPurpose ?SB
        (exists (?SW ?SC)
            (and
                (instance ?SW SteeringWheel)
                (instance ?SC SteeringColumn)
                (connectedEngineeringComponents ?SW ?SC)
                (connectedEngineeringComponents ?SC ?SB)))))		 Cars.kif 3840-3848 If X is an instance of steering box, then X has the purpose there exist Y, Z such that Y is an instance of steering wheel, Z is an instance of steering column, Y is connected to Z, and Z is connected to X
(=>
    (instance ?T Tailpipe)
    (hasPurpose ?T
        (exists (?M)
            (and
                (instance ?M AutomobileMuffler)
                (connectedEngineeringComponents ?M ?T)))))		 Cars.kif 3908-3914 If X is an instance of tailpipe, then X has the purpose there exists Y such that Y is an instance of muffler and Y is connected to X
(=>
    (instance ?R Rod)
    (hasPurpose ?R
        (exists (?D)
            (connectedEngineeringComponents ?R ?D))))		 Cars.kif 3990-3994 If X is an instance of rod, then X has the purpose there exists Y such that X is connected to Y
(=>
    (and
        (instance ?MODEM CableModem)
        (instance ?COMM Communication)
        (instrument ?COMM ?MODEM))
    (exists (?CABLE)
        (and
            (instance ?CABLE Cable)
            (instrument ?COMM ?CABLE)
            (connectedEngineeringComponents ?CABLE ?MODEM))))		 ComputerInput.kif 593-602 If X is an instance of cable modem, Y is an instance of communication, and X is an instrument for Y, then there exists Z such that Z is an instance of cable, Z is an instrument for Y, and Z is connected to X
(=>
    (instance ?CP ComputerPlug)
    (hasPurpose ?CP
        (exists (?P)
            (and
                (instance ?P ComputerPort)
                (connectedEngineeringComponents ?CP ?P)))))		 ComputingBrands.kif 2608-2614 If X is an instance of plug, then X has the purpose there exists Y such that Y is an instance of port and X is connected to Y
(=>
    (instance ?U USBPort)
    (hasPurpose ?U
        (exists (?C)
            (and
                (instance ?C USBCable)
                (connectedEngineeringComponents ?C ?U)))))		 ComputingBrands.kif 2784-2790 If X is an instance of USB port, then X has the purpose there exists Y such that Y is an instance of USB cable and Y is connected to X
(=>
    (instance ?CS ComputerSystem)
    (exists (?C1 ?C2 ?CN)
        (and
            (instance ?C1 Computer)
            (instance ?C2 Computer)
            (instance ?CN ComputerNetwork)
            (member ?C1 ?CS)
            (member ?C2 ?CS)
            (member ?CN ?CS)
            (not
                (equal ?C1 ?C2))
            (connectedEngineeringComponents ?C1 ?CN)
            (connectedEngineeringComponents ?C2 ?CN))))		 ComputingBrands.kif 3231-3244 If X is an instance of computer system, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of computer (3) Z is an instance of computer (4) W is an instance of computer network (5) Y is a member of X (6) Z is a member of X (7) W is a member of X (8) equal Y (9) Z (10) Y is connected to W (11) Z is connected to W
(=>
    (instance ?DPS DevicePowerSupply)
    (hasPurpose ?DPS
        (exists (?AC)
            (and
                (instance ?AC ACPowerSource)
                (connectedEngineeringComponents ?DPS ?AC)))))		 ComputingBrands.kif 3489-3495 If X is an instance of device power supply, then X has the purpose there exists Y such that Y is an instance of ac power source and X is connected to Y
(=>
    (instance ?MD MountingADevice)
    (exists (?C ?P)
        (and
            (instance ?C Computer)
            (instance ?P ComputerIODevice)
            (patient ?MD ?C)
            (patient ?MD ?P)
            (holdsDuring
                (WhenFn ?MD)
                (connectedEngineeringComponents ?C ?P))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?MD))
                (connectedPeripheral ?P ?C)))))		 ComputingBrands.kif 3707-3718 If X is an instance of mounting, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of computer (3) Z is an instance of computer I/O device (4) Y is a patient of X (5) Z is a patient of X (6) Y is connected to Z holds during the time of existence of X (7) Z is a connected peripheral of Y holds during immediately after the time of existence of X
(=>
    (instance ?AP InternetAccessPoint)
    (hasPurpose ?AP
        (exists (?DEVICE)
            (and
                (connectedEngineeringComponents ?DEVICE ?AP)
                (engineeringSubcomponent ?DEVICE Internet)))))		 Hotel.kif 1376-1382 If X is an instance of internet access point, then X has the purpose there exists Y such that Y is connected to X and Y is a component of internet


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners