Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| engineeringSubcomponent |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__DEVICE1 : $i,V__DEVICE2 : $i] : (((s__engineeringSubcomponent(V__DEVICE1, s__Internet) & s__engineeringSubcomponent(V__DEVICE2, s__Internet) & ~(V__DEVICE1 = V__DEVICE2)) => s__hasPurpose(s__Internet, ( ? [V__COMM:$i] : ((s__instance(V__COMM, s__Communication) & s__agent(V__COMM, V__DEVICE1) & s__destination(V__COMM, V__DEVICE2) & s__instrument(V__COMM, s__Internet))))))) | Hotel.kif 1358-1369 | If X is a component of internet, Y is a component of internet, and equal X and Y, then internet has the purpose there exists Z such that Z is an instance of communication, X is an agent of Z, Z ends up at Y, and internet is an instrument for Z |
| consequent |
|
|
| ! [V__COMP1,V__COMP2] : (((s__instance(V__COMP1,s__EngineeringComponent) & s__instance(V__COMP2,s__EngineeringComponent)) => (s__connectedEngineeringComponents(V__COMP1,V__COMP2) => (~(s__engineeringSubcomponent(V__COMP1,V__COMP2)) & ~(s__engineeringSubcomponent(V__COMP2,V__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 |
| ! [V__SAT] : ((s__instance(V__SAT,s__CommunicationSatellite) => (? [V__SYSTEM] : ((s__instance(V__SYSTEM,s__CommunicationSystem) & s__engineeringSubcomponent(V__SAT,V__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 |
| ! [V__SYSTEM] : ((s__instance(V__SYSTEM,s__TelephoneSystem) => (? [V__PHONE] : ((s__instance(V__PHONE,s__Telephone) & s__engineeringSubcomponent(V__PHONE,V__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 |
| ! [V__SYSTEM] : ((s__instance(V__SYSTEM,s__TelephoneSystem) => (? [V__LINE] : ((s__instance(V__LINE,s__MainTelephoneLine) & s__engineeringSubcomponent(V__LINE,V__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 |
| ! [V__AREA : $i,V__INTEGER : $int,V__SATELLITE : $i,V__SATELLITETYPE : $i,V__SYSTEM : $i] : ((s__communicationSatelliteForArea(V__AREA, V__SATELLITETYPE, V__INTEGER) => V__INTEGER = s__CardinalityFn(s__KappaFn(V__SATELLITE, (s__instance(V__SATELLITE, V__SATELLITETYPE) & s__instance(V__SYSTEM, s__CommunicationSystem) & s__located(V__SYSTEM, V__AREA) & s__engineeringSubcomponent(V__SATELLITE, V__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 |
| ! [V__STATION] : ((s__instance(V__STATION,s__BroadcastingStation) => (? [V__SYS] : ((s__instance(V__SYS,s__CommunicationSystem) & s__engineeringSubcomponent(V__STATION,V__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 |
| ! [V__X : $i] : ((s__instance(V__X, s__BabyMonitoringSystem) => ( ? [V__TX:$i, V__RX:$i] : ((s__instance(V__RX, s__RadioReceiver) & s__instance(V__TX, s__Device) & s__engineeringSubcomponent(V__RX, V__X) & s__engineeringSubcomponent(V__TX, V__X) & s__hasPurpose(V__X, ( ? [V__BABY:$i, V__CARER:$i, V__SOUND:$i, V__LOC1:$i, V__LOC2:$i, V__PROC:$i, V__RADIO:$i] : ((s__instance(V__BABY, s__HumanBaby) & s__instance(V__CARER, s__Human) & s__located(V__BABY, V__LOC1) & s__located(V__CARER, V__LOC2) & ~(V__LOC1 = V__LOC2) & s__instance(V__PROC, s__Maintaining) & s__patient(V__PROC, V__BABY) & s__agent(V__PROC, V__CARER) & s__located(V__TX, V__LOC1) & s__located(V__RX, V__LOC2) & s__instance(V__SOUND, s__RadiatingSound) & s__eventLocated(V__SOUND, V__LOC1) & s__instance(V__RADIO, s__RadioEmission) & s__patient(V__RADIO, V__SOUND) & s__destination(V__RADIO, V__RX) & s__agent(V__RADIO, V__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 |
| ! [V__STATION] : ((s__instance(V__STATION,s__RadioStation) => (? [V__SYS] : ((s__instance(V__SYS,s__RadioSystem) & s__engineeringSubcomponent(V__STATION,V__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 |
| ! [V__STATION] : ((s__instance(V__STATION,s__AMRadioStation) => (? [V__SYS] : ((s__instance(V__SYS,s__AMRadioSystem) & s__engineeringSubcomponent(V__STATION,V__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 |
| ! [V__STATION] : ((s__instance(V__STATION,s__FMRadioStation) => (? [V__SYS] : ((s__instance(V__SYS,s__FMRadioSystem) & s__engineeringSubcomponent(V__STATION,V__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 |
| ! [V__STATION] : ((s__instance(V__STATION,s__ShortwaveRadioStation) => (? [V__SYS] : ((s__instance(V__SYS,s__ShortwaveRadioSystem) & s__engineeringSubcomponent(V__STATION,V__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 |
| ! [V__SYSTEM] : ((s__instance(V__SYSTEM,s__RadioSystem) => (? [V__DEVICE] : ((s__instance(V__DEVICE,s__RadioReceiver) & s__engineeringSubcomponent(V__DEVICE,V__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 |
| ! [V__STATION] : ((s__instance(V__STATION,s__TelevisionStation) => (? [V__SYS] : ((s__instance(V__SYS,s__TelevisionSystem) & s__engineeringSubcomponent(V__STATION,V__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 |
| ! [V__SYSTEM] : ((s__instance(V__SYSTEM,s__TelevisionSystem) => (? [V__STATION] : ((s__instance(V__STATION,s__TelevisionStation) & s__engineeringSubcomponent(V__STATION,V__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 |
| ! [V__SYSTEM] : ((s__instance(V__SYSTEM,s__CableTelevisionSystem) => (? [V__DEVICE] : ((s__instance(V__DEVICE,s__TelevisionReceiver) & s__engineeringSubcomponent(V__DEVICE,V__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 |
| ! [V__SYSTEM] : ((s__instance(V__SYSTEM,s__TelevisionSystem) => (? [V__DEVICE] : ((s__instance(V__DEVICE,s__TelevisionReceiver) & s__engineeringSubcomponent(V__DEVICE,V__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 |
| ! [V__PART] : ((s__instance(V__PART,s__InternetServiceProvider) => s__engineeringSubcomponent(V__PART,s__Internet)) )
|
Communications.kif 499-501 | If X is an instance of internet service provider, then X is a component of internet |
| ! [V__AP : $i] : ((s__instance(V__AP, s__InternetAccessPoint) => s__hasPurpose(V__AP, ( ? [V__DEVICE:$i] : ((s__connectedEngineeringComponents(V__DEVICE, V__AP) & s__engineeringSubcomponent(V__DEVICE, s__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 |
|