Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SetTopBox(set_top box) |
| appearance as argument number 1 |
|
| (subclass SetTopBox MediaAppliance) | HouseholdAppliances.kif 396-396 | Set_top box is a subclass of media appliance |
| (documentation SetTopBox EnglishLanguage "A device that can be used as external source of signal for a TV, eg. a DVD player or cable box.") | HouseholdAppliances.kif 397-397 | Set_top box is a subclass of media appliance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SetTopBox "set_top box") | HouseholdAppliances.kif 398-398 |
| antecedent |
|
|
| (=> (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 |
|