Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Broadcasting(broadcasting) |  | broadcast, final_result, outcome, program, programme, rebroadcast, result, resultant, termination |
| appearance as argument number 1 |
|
|
| (subclass Broadcasting Disseminating) | Mid-level-ontology.kif 17401-17401 | Broadcasting is a subclass of disseminating |
| (subclass Broadcasting RadioEmission) | Mid-level-ontology.kif 17402-17402 | Broadcasting is a subclass of radio emission |
| (documentation Broadcasting EnglishLanguage "Disseminating information by using a CommunicationDevice that radiates RadioEmissions.") | Mid-level-ontology.kif 17403-17404 | Broadcasting is a subclass of radio emission |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BROADCAST Broadcasting) (exists (?DEVICE) (and (instance ?DEVICE CommunicationDevice) (instrument ?BROADCAST ?DEVICE)))) |
Mid-level-ontology.kif 17406-17411 | If X is an instance of broadcasting, then there exists Y such that Y is an instance of communication device and Y is an instrument for X |
| consequent |
|
|
| (=> (instance ?PROGRAM BroadcastProgram) (exists (?BROADCAST) (and (instance ?BROADCAST Broadcasting) (patient ?BROADCAST ?PROGRAM)))) |
Mid-level-ontology.kif 16197-16202 | If X is an instance of broadcast program, then there exists Y such that Y is an instance of broadcasting and X is a patient of Y |
| (=> (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 |
|