Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TelevisionBroadcasting
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TelevisionBroadcasting Broadcasting) | Mid-level-ontology.kif 17421-17421 | Television broadcasting is a subclass of broadcasting |
| (documentation TelevisionBroadcasting EnglishLanguage "Any instance of Broadcasting which is intended to be received by a Television.") | Mid-level-ontology.kif 17422-17423 | Television broadcasting is a subclass of broadcasting |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?T TelevisionReceiver) (capability TelevisionBroadcasting patient ?T)) |
Communications.kif 447-449 | If X is an instance of TV, then X is capable of doing television broadcasting as a patient |
| (=> (instance ?STATION TelevisionStationCompany) (exists (?TS ?PROG ?SERVICE) (and (instance ?TS TelevisionStation) (instance ?SERVICE CommercialService) (instance ?SERVICE Broadcasting) (agent ?SERVICE ?TS) (result ?SERVICE ?PROG) (instance ?PROG TelevisionBroadcasting)))) |
Society.kif 331-340 | If X is an instance of TelevisionStationCompany, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of television station (3) W is an instance of commercial service (4) W is an instance of broadcasting (5) Y is an agent of W (6) Z is a result of W (7) Z is an instance of television broadcasting |
|