(=>
(and
(instance ?AP InternetAccessPoint)
(instance ?DEVICE Device))
(holdsDuring
(WhenFn
(connectedEngineeringComponents ?DEVICE ?AP))
(engineeringSubcomponent ?DEVICE Internet))) |
Hotel.kif 1365-1371 |
|
(=>
(communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER)
(equal ?INTEGER
(CardinalityFn
(KappaFn ?SATELLITE
(and
(instance ?SATELLITE ?SATELLITETYPE)
(instance ?SYSTEM CommunicationSystem)
(located ?SYSTEM ?AREA)
(engineeringSubcomponent ?SATELLITE ?SYSTEM)))))) |
Communications.kif 142-151 |
|
(=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(and
(not
(engineeringSubcomponent ?COMP1 ?COMP2))
(not
(engineeringSubcomponent ?COMP2 ?COMP1)))) |
Merge.kif 16130-16136 |
|
(=>
(instance ?PART InternetServiceProvider)
(engineeringSubcomponent ?PART Internet)) |
Communications.kif 447-449 |
|
(=>
(instance ?SAT CommunicationSatellite)
(exists (?SYSTEM)
(and
(instance ?SYSTEM CommunicationSystem)
(engineeringSubcomponent ?SAT ?SYSTEM)))) |
Communications.kif 125-130 |
|
(=>
(instance ?SYSTEM CableTelevisionSystem)
(exists (?DEVICE)
(and
(instance ?DEVICE TelevisionReceiver)
(engineeringSubcomponent ?DEVICE ?SYSTEM)))) |
Communications.kif 337-342 |
|
(=>
(instance ?SYSTEM RadioSystem)
(exists (?DEVICE)
(and
(instance ?DEVICE RadioReceiver)
(engineeringSubcomponent ?DEVICE ?SYSTEM)))) |
Communications.kif 310-315 |
|
(=>
(instance ?SYSTEM TelephoneSystem)
(exists (?LINE)
(and
(instance ?LINE MainTelephoneLine)
(engineeringSubcomponent ?LINE ?SYSTEM)))) |
Communications.kif 52-57 |
|
(=>
(instance ?SYSTEM TelephoneSystem)
(exists (?PHONE)
(and
(instance ?PHONE Telephone)
(engineeringSubcomponent ?PHONE ?SYSTEM)))) |
Communications.kif 40-45 |
|
(=>
(instance ?SYSTEM TelevisionSystem)
(exists (?DEVICE)
(and
(instance ?DEVICE TelevisionReceiver)
(engineeringSubcomponent ?DEVICE ?SYSTEM)))) |
Communications.kif 387-392 |
|
(=>
(instance ?SYSTEM TelevisionSystem)
(exists (?STATION)
(and
(instance ?STATION TelevisionStation)
(engineeringSubcomponent ?STATION ?SYSTEM)))) |
Communications.kif 326-331 |
|
(=>
(instance ?X BabyMonitoringSystem)
(exists (?TX ?RX)
(and
(instance ?RX RadioReceiver)
(instance ?TX Device)
(engineeringSubcomponent ?RX ?X)
(engineeringSubcomponent ?TX ?X)
(hasPurpose ?X
(exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO)
(and
(instance ?BABY HumanBaby)
(instance ?CARER Human)
(located ?BABY ?LOC1)
(located ?CARER ?LOC2)
(not
(equal ?LOC1 ?LOC2))
(instance ?PROC Maintaining)
(patient ?PROC ?BABY)
(agent ?PROC ?CARER)
(located ?TX ?LOC1)
(located ?RX ?LOC2)
(instance ?SOUND RadiatingSound)
(eventLocated ?SOUND ?LOC1)
(instance ?RADIO RadioEmission)
(patient ?RADIO ?SOUND)
(destination ?RADIO ?RX)
(agent ?RADIO ?TX))))))) |
Communications.kif 258-284 |
- Wenn EngineeringComponent ist ein fall von BabyMonitoringSystem %n{nicht},
- dann es gibt ** EngineeringComponent und ** EngineeringComponent um ** ** EngineeringComponent ist ein fall von RadioReceiver %n{nicht} und ** ** EngineeringComponent ist ein fall von Device %n{nicht} und ** ** EngineeringComponent ist eine komponente von ** EngineeringComponent und ** ** EngineeringComponent ist eine komponente von ** EngineeringComponent und ** EngineeringComponent hat Zweck von es gibt entity, ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von HumanBaby %n{nicht} und ** ** entity ist ein fall von Human %n{nicht} und ** entity befindet sich an %n{nicht} und ** ** entity befindet sich an %n{nicht} und ** ** entity ist gleich ** ** entity nicht und ** ** entity ist ein fall von Maintaining %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity ist der agent von ** ** entity %n{nicht} und ** ** EngineeringComponent befindet sich an %n{nicht} und ** ** EngineeringComponent befindet sich an %n{nicht} und ** ** entity ist ein fall von RadiatingSound %n{nicht} und eventLocated ** ** entity and ** ** entity und ** ** entity ist ein fall von RadioEmission %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity endet an ** ** EngineeringComponent %n{nicht} und ** ** entity ist der agent von ** ** EngineeringComponent %n{nicht} %n{nicht}
|