Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Signalling
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Signalling Guiding) | Mid-level-ontology.kif 25724-25724 | Signalling is a subclass of guiding |
| (documentation Signalling EnglishLanguage "Signalling is the subclass of Guiding processes in which an agent, animate or inanimate, sends a signal to another Object. In many cases, this signal will be an electrical or electronic one. Some signals may directly control the behavior of the object signalled, while others may merely cause information to be presented. Instances of electrical Signalling are typically more complex than simply than operation of a DeviceSwitch, though in some cases, Signalling involves remote activation of such a switch by another device.") | Mid-level-ontology.kif 25725-25733 | Signalling is a subclass of guiding |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?DEVICE SetTopBox) (hasPurpose ?DEVICE (exists (?TV ?SIGNAL ?VIDEO) (and (instance ?TV TelevisionSet) (instance ?SIGNAL Signalling) (instance ?VIDEO VideoRecording) (represents ?SIGNAL ?VIDEO) (instrument ?SIGNAL ?DEVICE) (patient ?SIGNAL ?TV))))) |
HouseholdAppliances.kif 401-411 | If X is an instance of set_top box, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of television set (3) Z is an instance of signalling (4) W is an instance of video recording (5) Z expresses W (6) X is an instrument for Z (7) Y is a patient of Z |
| (=> (instance ?DEVICE ComputerScreen) (hasPurpose ?DEVICE (exists (?RL ?VIDEO ?SIGNAL ?COMPUTER) (and (instance ?RL RadiatingVisibleLight) (instance ?VIDEO VideoRecording) (instance ?SIGNAL Signalling) (instance ?COMPUTER Computer) (instrument ?RL ?DEVICE) (represents ?RL ?VIDEO) (agent ?SIGNAL ?COMPUTER) (patient ?SIGNAL ?DEVICE) (represents ?SIGNAL ?VIDEO))))) |
HouseholdAppliances.kif 525-538 | If X is an instance of computer screen, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of radiating visible light (3) Z is an instance of video recording (4) W is an instance of signalling (5) V is an instance of computer (6) X is an instrument for Y (7) Y expresses Z (8) V is an agent of W (9) X is a patient of W (10) W expresses Z |
|