(=>
(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 1666-1674 |
|
(=>
(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 16174-16177 |
|
(=>
(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 2352-2386 |
- 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 1978-1986 |
|
(=>
(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 3294-3303 |
|
(=>
(instance ?EV ExhaustValve)
(hasPurpose ?EV
(exists (?EM)
(and
(instance ?EM ExhaustManifold)
(connectedEngineeringComponents ?EV ?EM))))) |
Cars.kif 2681-2687 |
|
(=>
(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 2717-2734 |
|
(=>
(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 3222-3234 |
|
(=>
(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 2299-2314 |
|
(=>
(instance ?R Rod)
(hasPurpose ?R
(exists (?D)
(connectedEngineeringComponents ?R ?D)))) |
Cars.kif 4128-4132 |
|
(=>
(instance ?SB SteeringBox)
(hasPurpose ?SB
(exists (?SW ?SC)
(and
(instance ?SW SteeringWheel)
(instance ?SC SteeringColumn)
(connectedEngineeringComponents ?SW ?SC)
(connectedEngineeringComponents ?SC ?SB))))) |
Cars.kif 3978-3986 |
|
(=>
(instance ?T Tailpipe)
(hasPurpose ?T
(exists (?M)
(and
(instance ?M AutomobileMuffler)
(connectedEngineeringComponents ?M ?T))))) |
Cars.kif 4046-4052 |
|
(=>
(instance ?U USBPort)
(hasPurpose ?U
(exists (?C)
(and
(instance ?C USBCable)
(connectedEngineeringComponents ?C ?U))))) |
ComputingBrands.kif 2873-2879 |
|