Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AudioAmplifier(audio amplifier) |
| appearance as argument number 1 |
|
| (subclass AudioAmplifier MediaAppliance) | HouseholdAppliances.kif 356-356 | Audio amplifier is a subclass of media appliance |
| (documentation AudioAmplifier EnglishLanguage "A part of MediaSystem that amplifies the power of audio signal.") | HouseholdAppliances.kif 358-359 | Audio amplifier is a subclass of media appliance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AudioAmplifier "audio amplifier") | HouseholdAppliances.kif 361-361 |
| antecedent |
|
|
| (=> (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 |
|