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 14933-14941
(domain connectedEngineeringComponents 1 EngineeringComponent) Merge.kif 14931-14931
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 14932-14932
(instance connectedEngineeringComponents IrreflexiveRelation) Merge.kif 14928-14928
(instance connectedEngineeringComponents PartialValuedRelation) Merge.kif 14929-14929
(instance connectedEngineeringComponents SymmetricRelation) Merge.kif 14927-14927
(subrelation connectedEngineeringComponents connected) Merge.kif 14930-14930

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 14982-14985
(=>
    (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 3217-3231
(=>
    (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 23971-23984
(=>
    (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 14943-14949
(=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (not
        (or
            (instance ?COMP1 EngineeringConnection)
            (instance ?COMP2 EngineeringConnection))))
Merge.kif 14975-14980

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 2575-2581
(=>
    (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 3310-3323
(=>
    (instance ?DPS DevicePowerSupply)
    (hasPurpose ?DPS
        (exists (?AC)
            (and
                (instance ?AC ACPowerSource)
                (connectedEngineeringComponents ?DPS ?AC)))))
ComputingBrands.kif 3570-3576
(=>
    (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 3774-3785
(=>
    (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 4094-4098
(=>
    (instance ?SB SteeringBox)
    (hasPurpose ?SB
        (exists (?SW ?SC)
            (and
                (instance ?SW SteeringWheel)
                (instance ?SC SteeringColumn)
                (connectedEngineeringComponents ?SW ?SC)
                (connectedEngineeringComponents ?SC ?SB)))))
Cars.kif 3944-3952
(=>
    (instance ?T Tailpipe)
    (hasPurpose ?T
        (exists (?M)
            (and
                (instance ?M AutomobileMuffler)
                (connectedEngineeringComponents ?M ?T)))))
Cars.kif 4012-4018
(=>
    (instance ?U USBPort)
    (hasPurpose ?U
        (exists (?C)
            (and
                (instance ?C USBCable)
                (connectedEngineeringComponents ?C ?U)))))
ComputingBrands.kif 2844-2850


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