Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BroadcastNetwork(broadcast network) |  | network |
| appearance as argument number 1 |
|
|
| (subclass BroadcastNetwork CommunicationSystem) | Communications.kif 411-411 | Broadcast network is a subclass of communication system |
| (documentation BroadcastNetwork EnglishLanguage "BroadcastNetwork is the subclass of CommunicationSystems consisting of BroadcastingStations that are linked electronically and managed or owned by one organization.") | Communications.kif 412-414 | Broadcast network is a subclass of communication system |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?N BroadcastNetwork) (forall (?M) (=> (member ?M ?N) (instance ?M BroadcastingStation)))) |
Communications.kif 415-420 | If X is an instance of broadcast network, then For all Physical Y: if Y is a member of X, then Y is an instance of broadcasting station |
| (=> (instance ?N BroadcastNetwork) (exists (?O) (and (instance ?O Organization) (forall (?M) (=> (member ?M ?N) (possesses ?O ?M)))))) |
Communications.kif 422-430 | If X is an instance of broadcast network, then there exists Y such that Y is an instance of organization and Z Z is a member of XY possesses Z |
|