Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TelevisionBroadcasting(television broadcasting) |  | HDTV, TV, high-definition_television, telecast, telecasting, televise, television, video |
| appearance as argument number 1 |
|
|
| s__subclass(s__TelevisionBroadcasting,s__Broadcasting)
|
Mid-level-ontology.kif 17421-17421 | Television broadcasting is a subclass of broadcasting |
| s__documentation(s__TelevisionBroadcasting, s__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 |
|
|
| ! [V__T] : ((s__instance(V__T,s__TelevisionReceiver) => s__capability(s__TelevisionBroadcasting,s__patient,V__T)) )
|
Communications.kif 447-449 | If X is an instance of TV, then X is capable of doing television broadcasting as a patient |
| ! [V__STATION] : ((s__instance(V__STATION,s__TelevisionStationCompany) => (? [V__TS,V__PROG,V__SERVICE] : ((s__instance(V__TS,s__TelevisionStation) & s__instance(V__SERVICE,s__CommercialService) & s__instance(V__SERVICE,s__Broadcasting) & s__agent(V__SERVICE,V__TS) & s__result(V__SERVICE,V__PROG) & s__instance(V__PROG,s__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 |
|