(=>
(and
(instance ?AP InternetAccessPoint)
(instance ?DEVICE Device))
(holdsDuring
(WhenFn
(connectedEngineeringComponents ?DEVICE ?AP))
(engineeringSubcomponent ?DEVICE Internet))) |
Hotel.kif 1365-1371 |
|
(=>
(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 16152-16155 |
|
(=>
(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 |
- Wenn Physical ist ein fall von AutomobileTransmission %n{nicht},
- dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Crankshaft %n{nicht} und ** ** entity ist ein fall von Driveshaft %n{nicht} und ** ** entity ist ein fall von Automobile %n{nicht} und ** ** entity ist ein teil von ** ** entity %n{nicht} und ** Physical ist ein teil von ** ** entity %n{nicht} und ** entity ist ein teil von ** ** entity %n{nicht} und ** entity wird mit ** Physical angeschlossen und ** ** entity wird mit ** Physical angeschlossen und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity verursacht ** ** entity %n{nicht} und ** ** entity verursacht ** ** entity %n{nicht} und ** ** entity ist gleich ** ** entity nicht und das mass von ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und das mass von ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und das mass von ** ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und das mass von ** ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und ** ** entity ist gleich ** ** entity nicht %n{nicht}
|
(=>
(instance ?CP ComputerPlug)
(hasPurpose ?CP
(exists (?P)
(and
(instance ?P ComputerPort)
(connectedEngineeringComponents ?CP ?P))))) |
ComputingBrands.kif 2608-2614 |
|
(=>
(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 3324-3337 |
|
(=>
(instance ?DPS DevicePowerSupply)
(hasPurpose ?DPS
(exists (?AC)
(and
(instance ?AC ACPowerSource)
(connectedEngineeringComponents ?DPS ?AC))))) |
ComputingBrands.kif 3583-3589 |
|
(=>
(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 3801-3812 |
|
(=>
(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 4120-4124 |
|
(=>
(instance ?SB SteeringBox)
(hasPurpose ?SB
(exists (?SW ?SC)
(and
(instance ?SW SteeringWheel)
(instance ?SC SteeringColumn)
(connectedEngineeringComponents ?SW ?SC)
(connectedEngineeringComponents ?SC ?SB))))) |
Cars.kif 3970-3978 |
|
(=>
(instance ?T Tailpipe)
(hasPurpose ?T
(exists (?M)
(and
(instance ?M AutomobileMuffler)
(connectedEngineeringComponents ?M ?T))))) |
Cars.kif 4038-4044 |
|
(=>
(instance ?U USBPort)
(hasPurpose ?U
(exists (?C)
(and
(instance ?C USBCable)
(connectedEngineeringComponents ?C ?U))))) |
ComputingBrands.kif 2873-2879 |
|