Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ElectricalSignalling(electrical signalling) |
| appearance as argument number 1 |
|
| (subclass ElectricalSignalling Signalling) | Mid-level-ontology.kif 3234-3234 | Electrical signalling is a subclass of signalling |
| (documentation ElectricalSignalling EnglishLanguage "ElectricalSignalling is the subclass of Signalling processes that involve control of an electrical current. Cf. ElectronicSignalling.") | Mid-level-ontology.kif 3235-3237 | Electrical signalling is a subclass of signalling |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S ElectricalSignalling) (exists (?D) (and (instance ?D ElectricDevice) (instrument ?S ?D)))) |
Mid-level-ontology.kif 3239-3244 | If X is an instance of electrical signalling, then there exists Y such that Y is an instance of electric device and Y is an instrument for X |
| consequent |
|
|
| (=> (instance ?X Earphone) (hasPurpose ?X (exists (?ES ?RS ?SIGNAL ?EAR ?PROC) (and (instance ?ES ElectricalSignalling) (patient ?ES ?SIGNAL) (destination ?ES ?X) (instance ?PROC Process) (instrument ?PROC ?X) (patient ?PROC ?SIGNAL) (result ?PROC ?RS) (instance ?RS RadiatingSound) (origin ?RS ?X) (before (BeginFn (WhenFn ?ES)) (BeginFn (WhenFn ?PROC))) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn ?RS))) (instance ?EAR Ear) (orientation ?X ?EAR Adjacent))))) |
Mid-level-ontology.kif 28623-28644 | If X is an instance of earphone, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of electrical signalling (3) W is a patient of Y (4) Y ends up at X (5) U is an instance of process (6) X is an instrument for U (7) W is a patient of U (8) Z is a result of U (9) Z is an instance of radiating sound (10) Z originates at X (11) the beginning of the time of existence of Y happens before the beginning of the time of existence of U (12) the beginning of the time of existence of U happens before the beginning of the time of existence of Z (13) V is an instance of ear (14) X is adjacent to V |
| (=> (instance ?DEVICE AudioAmplifier) (hasPurpose ?DEVICE (exists (?PROC ?SIGIN ?SIGOUT) (and (instance ?SIGIN ElectricalSignalling) (instance ?SIGOUT ElectricalSignalling) (not (equal ?SIGIN ?SIGOUT)) (instance ?PROC Process) (instrument ?PROC ?DEVICE) (patient ?PROC ?SIGIN) (result ?PROC ?SIGOUT))))) |
HouseholdAppliances.kif 364-376 | If X is an instance of audio amplifier, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of electrical signalling (3) W is an instance of electrical signalling (4) equal Z (5) W (6) Y is an instance of process (7) X is an instrument for Y (8) Z is a patient of Y (9) W is a result of Y |
| (=> (instance ?DEVICE SpeakerDevice) (hasPurpose ?DEVICE (exists (?SIGNAL ?RS) (and (instance ?SIGNAL ElectricalSignalling) (instance ?RS RadiatingSound) (instrument ?RS ?DEVICE) (represents ?RS ?SIGNAL))))) |
HouseholdAppliances.kif 382-390 | If X is an instance of speaker, then X has the purpose there exist Y, Z such that Y is an instance of electrical signalling, Z is an instance of radiating sound, X is an instrument for Z, and Z expresses Y |
| (=> (instance ?DEVICE CableModem) (hasPurpose ?DEVICE (exists (?SIGNAL ?LINE) (and (instance ?SIGNAL ElectricalSignalling) (instance ?LINE TelephoneLine) (agent ?SIGNAL ?DEVICE) (instrument ?SIGNAL ?LINE))))) |
HouseholdAppliances.kif 549-557 | If X is an instance of cable modem, then X has the purpose there exist Y, Z such that Y is an instance of electrical signalling, Z is an instance of telephone line, X is an agent of Y, and Z is an instrument for Y |
|