(=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(and
(not
(engineeringSubcomponent ?COMP1 ?COMP2))
(not
(engineeringSubcomponent ?COMP2 ?COMP1)))) |
Merge.kif 16465-16471 |
If X is connected to Y, then X is not a component of Y and Y is not a component of X |
(=>
(instance ?SAT CommunicationSatellite)
(exists (?SYSTEM)
(and
(instance ?SYSTEM CommunicationSystem)
(engineeringSubcomponent ?SAT ?SYSTEM)))) |
Mid-level-ontology.kif 27382-27387 |
If X is an instance of communications satellite, then there exists Y such that Y is an instance of communication system and X is a component of Y |
(=>
(instance ?SYSTEM TelephoneSystem)
(exists (?PHONE)
(and
(instance ?PHONE Telephone)
(engineeringSubcomponent ?PHONE ?SYSTEM)))) |
Communications.kif 40-45 |
If X is an instance of telephone system, then there exists Y such that Y is an instance of telephone and Y is a component of X |
(=>
(instance ?SYSTEM TelephoneSystem)
(exists (?LINE)
(and
(instance ?LINE MainTelephoneLine)
(engineeringSubcomponent ?LINE ?SYSTEM)))) |
Communications.kif 52-57 |
If X is an instance of telephone system, then there exists Y such that Y is an instance of main telephone line and Y is a component of X |
(=>
(communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER)
(equal ?INTEGER
(CardinalityFn
(KappaFn ?SATELLITE
(and
(instance ?SATELLITE ?SATELLITETYPE)
(instance ?SYSTEM CommunicationSystem)
(located ?SYSTEM ?AREA)
(engineeringSubcomponent ?SATELLITE ?SYSTEM)))))) |
Communications.kif 123-132 |
If there are X communiation satellite of type Y in Z, then equal X and the number of instances in the class described by W |
(=>
(instance ?STATION BroadcastingStation)
(exists (?SYS)
(and
(instance ?SYS CommunicationSystem)
(engineeringSubcomponent ?STATION ?SYS)))) |
Communications.kif 201-206 |
If X is an instance of broadcasting station, then there exists Y such that Y is an instance of communication system and X is a component of Y |
(=>
(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 244-270 |
If X is an instance of baby monitor, then All of the following hold: (1) there exist Y (2) Z such that Z is an instance of radio receiver (3) Y is an instance of device (4) Z is a component of X (5) Y is a component of X (6) X has the purpose there exist W, V,, , U,, , T,, , S,, , R (7) Q such that W is an instance of human baby (8) V is an instance of human (9) W is located at T (10) V is located at S (11) equal T (12) S (13) R is an instance of maintaining (14) W is a patient of R (15) V is an agent of R (16) Y is located at T (17) Z is located at S (18) U is an instance of radiating sound (19) U is located at T (20) Q is an instance of radio emission (21) U is a patient of Q (22) Q ends up at Z (23) Y is an agent of Q |
(=>
(instance ?STATION RadioStation)
(exists (?SYS)
(and
(instance ?SYS RadioSystem)
(engineeringSubcomponent ?STATION ?SYS)))) |
Communications.kif 275-280 |
If X is an instance of radio station, then there exists Y such that Y is an instance of radio system and X is a component of Y |
(=>
(instance ?STATION AMRadioStation)
(exists (?SYS)
(and
(instance ?SYS AMRadioSystem)
(engineeringSubcomponent ?STATION ?SYS)))) |
Communications.kif 285-290 |
If X is an instance of AM radio station, then there exists Y such that Y is an instance of AM radio system and X is a component of Y |
(=>
(instance ?STATION FMRadioStation)
(exists (?SYS)
(and
(instance ?SYS FMRadioSystem)
(engineeringSubcomponent ?STATION ?SYS)))) |
Communications.kif 295-300 |
If X is an instance of FM radio station, then there exists Y such that Y is an instance of FM radio system and X is a component of Y |
(=>
(instance ?STATION ShortwaveRadioStation)
(exists (?SYS)
(and
(instance ?SYS ShortwaveRadioSystem)
(engineeringSubcomponent ?STATION ?SYS)))) |
Communications.kif 305-310 |
If X is an instance of shortwave radio station, then there exists Y such that Y is an instance of shortwave radio system and X is a component of Y |
(=>
(instance ?SYSTEM RadioSystem)
(exists (?DEVICE)
(and
(instance ?DEVICE RadioReceiver)
(engineeringSubcomponent ?DEVICE ?SYSTEM)))) |
Communications.kif 358-363 |
If X is an instance of radio system, then there exists Y such that Y is an instance of radio receiver and Y is a component of X |
(=>
(instance ?STATION TelevisionStation)
(exists (?SYS)
(and
(instance ?SYS TelevisionSystem)
(engineeringSubcomponent ?STATION ?SYS)))) |
Communications.kif 371-376 |
If X is an instance of television station, then there exists Y such that Y is an instance of television system and X is a component of Y |
(=>
(instance ?SYSTEM TelevisionSystem)
(exists (?STATION)
(and
(instance ?STATION TelevisionStation)
(engineeringSubcomponent ?STATION ?SYSTEM)))) |
Communications.kif 379-384 |
If X is an instance of television system, then there exists Y such that Y is an instance of television station and Y is a component of X |
(=>
(instance ?SYSTEM CableTelevisionSystem)
(exists (?DEVICE)
(and
(instance ?DEVICE TelevisionReceiver)
(engineeringSubcomponent ?DEVICE ?SYSTEM)))) |
Communications.kif 390-395 |
If X is an instance of cable television system, then there exists Y such that Y is an instance of TV and Y is a component of X |
(=>
(instance ?SYSTEM TelevisionSystem)
(exists (?DEVICE)
(and
(instance ?DEVICE TelevisionReceiver)
(engineeringSubcomponent ?DEVICE ?SYSTEM)))) |
Communications.kif 440-445 |
If X is an instance of television system, then there exists Y such that Y is an instance of TV and Y is a component of X |
(=>
(instance ?PART InternetServiceProvider)
(engineeringSubcomponent ?PART Internet)) |
Communications.kif 499-501 |
If X is an instance of internet service provider, then X is a component of internet |
(=>
(instance ?AP InternetAccessPoint)
(hasPurpose ?AP
(exists (?DEVICE)
(and
(connectedEngineeringComponents ?DEVICE ?AP)
(engineeringSubcomponent ?DEVICE Internet))))) |
Hotel.kif 1376-1382 |
If X is an instance of internet access point, then X has the purpose there exists Y such that Y is connected to X and Y is a component of internet |
