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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - connectedEngineeringComponents
connectedEngineeringComponents

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


(documentation connectedEngineeringComponents ChineseLanguage "这是 EngineeringComponent 之间最普遍的连接关系。如果(connectedEngineeringComponents ?COMP1 ?COMP2),那么既非 ?COMP1 也非 ?COMP2 可以成为对方的 engineeringSubcomponentconnectedEngineeringComponent 关系属于 SymmetricRelation,它并没有区别两个组件之间连接的方向。这也是 IrreflexiveRelation,没有一个 EngineeringComponent 会和自身建立这种关系。注:这种关系不会和一个名称或类型挂钩。") chinese_format.kif 3643-3647
(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 15816-15824
(domain connectedEngineeringComponents 1 EngineeringComponent) Merge.kif 15814-15814
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 15815-15815
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 15811-15811
(instance connectedEngineeringComponents PartialValuedRelation) Merge.kif 15812-15812
(instance connectedEngineeringComponents SymmetricRelation) Merge.kif 15810-15810
(subrelation connectedEngineeringComponents connected) Merge.kif 15813-15813

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


(format ChineseLanguage connectedEngineeringComponents "%1 %n 是 和 %2 connected") chinese_format.kif 541-541
(format EnglishLanguage connectedEngineeringComponents "%1 is %n connected to %2") english_format.kif 546-546
(termFormat ChineseLanguage connectedEngineeringComponents "相连工程子组件") chinese_format.kif 542-542
(termFormat ChineseLanguage connectedEngineeringComponents "连接的工程组件") domainEnglishFormat.kif 16641-16641
(termFormat ChineseTraditionalLanguage connectedEngineeringComponents "連接的工程組件") domainEnglishFormat.kif 16640-16640
(termFormat EnglishLanguage connectedEngineeringComponents "connected engineering components") domainEnglishFormat.kif 16639-16639

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


(=>
    (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 3197-3211
(=>
    (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 2930-2948
(=>
    (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 2957-2973
(=>
    (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 2909-2921
(=>
    (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 25314-25327
(=>
    (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)
        (instance ?CV CVJoint)
        (connectedEngineeringComponents ?R1 ?CV)
        (connectedEngineeringComponents ?R2 ?CV)
        (holdsDuring
            (WhenFn ?R1)
            (equal ?SH1
                (RotationFn ?N ?T))))
    (holdsDuring
        (WhenFn ?R2)
        (equal ?SH2
            (RotationFn ?N ?T))))
Cars.kif 2114-2133
(=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (and
        (not
            (engineeringSubcomponent ?COMP1 ?COMP2))
        (not
            (engineeringSubcomponent ?COMP2 ?COMP1))))
Merge.kif 15826-15832
(=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (exists (?CONNECTION)
        (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
Merge.kif 15865-15868
(=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (not
        (or
            (instance ?COMP1 EngineeringConnection)
            (instance ?COMP2 EngineeringConnection))))
Merge.kif 15858-15863

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


(=>
    (and
        (instance ?AP InternetAccessPoint)
        (instance ?DEVICE Device))
    (holdsDuring
        (WhenFn
            (connectedEngineeringComponents ?DEVICE ?AP))
        (engineeringSubcomponent ?DEVICE Internet)))
Hotel.kif 1343-1349
(=>
    (and
        (instance ?C Cam)
        (instance ?CS Camshaft)
        (instance ?E Engine)
        (part ?C ?E)
        (part ?CS ?E))
    (hasPurpose ?CS
        (connectedEngineeringComponents ?C ?CS)))
Cars.kif 1660-1668
(=>
    (and
        (instance ?MODEM CableModem)
        (instance ?COMM Communication)
        (instrument ?COMM ?MODEM))
    (exists (?CABLE)
        (and
            (instance ?CABLE Cable)
            (instrument ?COMM ?CABLE)
            (connectedEngineeringComponents ?CABLE ?MODEM))))
ComputerInput.kif 577-586
(=>
    (exists (?CONNECTION)
        (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2))
    (connectedEngineeringComponents ?COMP1 ?COMP2))
Merge.kif 15870-15873
(=>
    (instance ?AT AutomobileTransmission)
    (hasPurpose ?AT
        (exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)
            (and
                (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 ?R1 Rotating)
                (instance ?R2 Rotating)
                (instance ?R3 Rotating)
                (instance ?R4 Rotating)
                (patient ?R1 ?C)
                (patient ?R2 ?C)
                (patient ?R3 ?D)
                (patient ?R4 ?D)
                (causes ?R1 ?R3)
                (causes ?R2 ?R4)
                (not
                    (equal ?R1 ?R2))
                (holdsDuring ?R1
                    (measure ?C
                        (RotationFn ?N1 MinuteDuration)))
                (holdsDuring ?R2
                    (measure ?C
                        (RotationFn ?N1 MinuteDuration)))
                (holdsDuring ?R3
                    (measure ?D
                        (RotationFn ?N2 MinuteDuration)))
                (holdsDuring ?R4
                    (measure ?D
                        (RotationFn ?N3 MinuteDuration)))
                (not
                    (equal ?N2 ?N3))))))
Cars.kif 2346-2380
(=>
    (instance ?CP ComputerPlug)
    (hasPurpose ?CP
        (exists (?P)
            (and
                (instance ?P ComputerPort)
                (connectedEngineeringComponents ?CP ?P)))))
ComputingBrands.kif 2576-2582
(=>
    (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 3290-3303
(=>
    (instance ?DPS DevicePowerSupply)
    (hasPurpose ?DPS
        (exists (?AC)
            (and
                (instance ?AC ACPowerSource)
                (connectedEngineeringComponents ?DPS ?AC)))))
ComputingBrands.kif 3546-3552
(=>
    (instance ?ECR EngineConnectingRod)
    (hasPurpose ?ECR
        (exists (?P ?C)
            (and
                (instance ?P Piston)
                (instance ?C Crankshaft)
                (connectedEngineeringComponents ?P ?ECR)
                (connectedEngineeringComponents ?C ?ECR)))))
Cars.kif 1972-1980
(=>
    (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 3286-3295
(=>
    (instance ?EV ExhaustValve)
    (hasPurpose ?EV
        (exists (?EM)
            (and
                (instance ?EM ExhaustManifold)
                (connectedEngineeringComponents ?EV ?EM)))))
Cars.kif 2675-2681
(=>
    (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 2711-2728
(=>
    (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 3214-3226
(=>
    (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 3764-3775
(=>
    (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
(=>
    (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 2293-2308
(=>
    (instance ?R Rod)
    (hasPurpose ?R
        (exists (?D)
            (connectedEngineeringComponents ?R ?D))))
Cars.kif 4123-4127
(=>
    (instance ?SB SteeringBox)
    (hasPurpose ?SB
        (exists (?SW ?SC)
            (and
                (instance ?SW SteeringWheel)
                (instance ?SC SteeringColumn)
                (connectedEngineeringComponents ?SW ?SC)
                (connectedEngineeringComponents ?SC ?SB)))))
Cars.kif 3973-3981
(=>
    (instance ?T Tailpipe)
    (hasPurpose ?T
        (exists (?M)
            (and
                (instance ?M AutomobileMuffler)
                (connectedEngineeringComponents ?M ?T)))))
Cars.kif 4041-4047
(=>
    (instance ?U USBPort)
    (hasPurpose ?U
        (exists (?C)
            (and
                (instance ?C USBCable)
                (connectedEngineeringComponents ?C ?U)))))
ComputingBrands.kif 2841-2847


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