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 14906-14914
(domain connectedEngineeringComponents 1 EngineeringComponent) Merge.kif 14904-14904 domain connectedEngineeringComponents, 1 and EngineeringComponent
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 14905-14905 domain connectedEngineeringComponents, 2 and EngineeringComponent
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 14901-14901 instance connectedEngineeringComponents and IrreflexiveRelation
(instance connectedEngineeringComponents PartialValuedRelation) Merge.kif 14902-14902 instance connectedEngineeringComponents and PartialValuedRelation
(instance connectedEngineeringComponents SymmetricRelation) Merge.kif 14900-14900 instance connectedEngineeringComponents and SymmetricRelation
(subrelation connectedEngineeringComponents connected) Merge.kif 14903-14903 subrelation connectedEngineeringComponents and connected

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 549-549
(termFormat ChineseLanguage connectedEngineeringComponents "相连工程子组件") chinese_format.kif 542-542
(termFormat ChineseLanguage connectedEngineeringComponents "连接的工程组件") domainEnglishFormat.kif 16573-16573
(termFormat ChineseTraditionalLanguage connectedEngineeringComponents "連接的工程組件") domainEnglishFormat.kif 16572-16572
(termFormat EnglishLanguage connectedEngineeringComponents "connected engineering components") domainEnglishFormat.kif 16571-16571

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


(<=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (exists (?CONNECTION)
        (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
Merge.kif 14955-14958 connectedEngineeringComponents EngineeringComponent and EngineeringComponent EngineeringConnection connectsEngineeringComponents EngineeringConnection, EngineeringComponent and EngineeringComponent
(=>
    (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 3219-3233
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?E Engine)
        (connectedEngineeringComponents ?EG ?E)
        (governorSpeed ?E ?S))
    (hasPurpose ?EG
        (not
            (exists (?R ?P ?M)
                (and
                    (instance ?P Device)
                    (part ?P ?E)
                    (instance ?R Rotating)
                    (holdsDuring
                        (WhenFn ?R)
                        (and
                            (measure ?P ?M)
                            (greaterThan ?M ?S))))))))
Cars.kif 2909-2925
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?V Vehicle)
        (connectedEngineeringComponents ?EG ?V)
        (governorSpeed ?E ?S))
    (hasPurpose ?EG
        (not
            (exists (?T ?M)
                (and
                    (instance ?T Translocation)
                    (holdsDuring
                        (WhenFn ?T)
                        (and
                            (measure ?V ?M)
                            (greaterThan ?M ?S))))))))
Cars.kif 2934-2948
(=>
    (and
        (instance ?G SpeedGovernor)
        (governorSpeed ?V ?S)
        (connectedEngineeringComponents ?G ?V))
    (hasPurpose ?G
        (not
            (exists (?SP2)
                (and
                    (measure ?V ?SP2)
                    (greaterThan ?SP2 ?S))))))
Cars.kif 2890-2900
(=>
    (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 23946-23959
(=>
    (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 2101-2120
(=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (and
        (not
            (engineeringSubcomponent ?COMP1 ?COMP2))
        (not
            (engineeringSubcomponent ?COMP2 ?COMP1))))
Merge.kif 14916-14922
(=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (not
        (or
            (instance ?COMP1 EngineeringConnection)
            (instance ?COMP2 EngineeringConnection))))
Merge.kif 14948-14953

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


(=>
    (and
        (instance ?AP InternetAccessPoint)
        (instance ?DEVICE Device))
    (holdsDuring
        (WhenFn
            (connectedEngineeringComponents ?DEVICE ?AP))
        (engineeringSubcomponent ?DEVICE Internet)))
Hotel.kif 1316-1322
(=>
    (and
        (instance ?C Cam)
        (instance ?CS Camshaft)
        (instance ?E Engine)
        (part ?C ?E)
        (part ?CS ?E))
    (hasPurpose ?CS
        (connectedEngineeringComponents ?C ?CS)))
Cars.kif 1656-1664
(=>
    (and
        (instance ?MODEM CableModem)
        (instance ?COMM Communication)
        (instrument ?COMM ?MODEM))
    (exists (?CABLE)
        (and
            (instance ?CABLE Cable)
            (instrument ?COMM ?CABLE)
            (connectedEngineeringComponents ?CABLE ?MODEM))))
ComputerInput.kif 605-614
(=>
    (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 2333-2367
(=>
    (instance ?CP ComputerPlug)
    (hasPurpose ?CP
        (exists (?P)
            (and
                (instance ?P ComputerPort)
                (connectedEngineeringComponents ?CP ?P)))))
ComputingBrands.kif 2577-2583
(=>
    (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 3312-3325
(=>
    (instance ?DPS DevicePowerSupply)
    (hasPurpose ?DPS
        (exists (?AC)
            (and
                (instance ?AC ACPowerSource)
                (connectedEngineeringComponents ?DPS ?AC)))))
ComputingBrands.kif 3575-3581
(=>
    (instance ?ECR EngineConnectingRod)
    (hasPurpose ?ECR
        (exists (?P ?C)
            (and
                (instance ?P Piston)
                (instance ?C Crankshaft)
                (connectedEngineeringComponents ?P ?ECR)
                (connectedEngineeringComponents ?C ?ECR)))))
Cars.kif 1959-1967
(=>
    (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 3261-3270
(=>
    (instance ?EV ExhaustValve)
    (hasPurpose ?EV
        (exists (?EM)
            (and
                (instance ?EM ExhaustManifold)
                (connectedEngineeringComponents ?EV ?EM)))))
Cars.kif 2660-2666
(=>
    (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 2696-2713
(=>
    (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 3189-3201
(=>
    (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 3779-3790
(=>
    (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 1377-1393
(=>
    (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 2280-2295
(=>
    (instance ?R Rod)
    (hasPurpose ?R
        (exists (?D)
            (connectedEngineeringComponents ?R ?D))))
Cars.kif 4093-4097
(=>
    (instance ?SB SteeringBox)
    (hasPurpose ?SB
        (exists (?SW ?SC)
            (and
                (instance ?SW SteeringWheel)
                (instance ?SC SteeringColumn)
                (connectedEngineeringComponents ?SW ?SC)
                (connectedEngineeringComponents ?SC ?SB)))))
Cars.kif 3943-3951
(=>
    (instance ?T Tailpipe)
    (hasPurpose ?T
        (exists (?M)
            (and
                (instance ?M AutomobileMuffler)
                (connectedEngineeringComponents ?M ?T)))))
Cars.kif 4011-4017
(=>
    (instance ?U USBPort)
    (hasPurpose ?U
        (exists (?C)
            (and
                (instance ?C USBCable)
                (connectedEngineeringComponents ?C ?U)))))
ComputingBrands.kif 2846-2852


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners